fixing bugs in kast parser to solve requires/ensures
add KastParser.jj to buildJava.xml