pattern.addAlternative(alt);
alt = new ProductionPatternAlternative();
alt.addToken(RegexpConstants.RIGHT_BRACE, 1, 1);
pattern.addAlternative(alt);
alt = new ProductionPatternAlternative();
alt.addToken(RegexpConstants.LEFT_PAREN, 1, 1);
pattern.addAlternative(alt);
alt = new ProductionPatternAlternative();
alt.addToken(RegexpConstants.RIGHT_PAREN, 1, 1);
pattern.addAlternative(alt);
alt = new ProductionPatternAlternative();