1 # This properties file is used by ANTLR to pick up any resources 2 # and configuration options that may or may not be produced by 3 # the build process. For instance the Tool version string is 4 # filtered into this resource file so that we don't need to 5 # hard code this into Tool.java and so on. 6 # 7 antlr.version=${project.version} ${buildNumber} 8