Lexicon.java updated, TODO updated