We do not use the macro @promptPattern to define prompt patterns because of a bug of cjc on the windows platform. This bug occurs randomly.