Renamed this project to smt-antlr4-java-parser and updted the package path.