try {
r = new FileReader(file);
} catch (FileNotFoundException e) {
throw new ExceptionJava2opSem("Cannot read " + file + ".");
}
parsingController = new ParsingController( r, null );
lexingController = new TokenStreamSelector();
boolean allowUniverses = true;
jmlLexer = new JmlLexer( parsingController, lexingController,
true, true, allowUniverses, compiler );
docLexer = new JavadocLexer( parsingController );