"preScanner.jj" is used to process the backslash sign at the end of a line (basically splice broken lines before really processing the specifications). "util.jj" is used to process some specific strings, such as the declaration of a function with templated types. It is designed to be used as a library funcions. "spec_compiler.jj" is the file to parse the extracted specifications.