Added '//name' objects to ps.flex and yylex.java