parsingController = new ParsingController( r, null );
lexingController = new TokenStreamSelector();
boolean allowUniverses = true;
jmlLexer = new JmlLexer( parsingController, lexingController,
true, true, allowUniverses, compiler );
docLexer = new JavadocLexer( parsingController );
jmlMLLexer = new JmlMLLexer( parsingController, lexingController,
true, true, allowUniverses, compiler );
jmlSLLexer = new JmlSLLexer( parsingController, lexingController,
true, true, allowUniverses, compiler );
try {