Lexicon.java updated