Updating Semant.java