Removed the unnecessary dependency on smt-java-parser.