Utility classes for use by the javacc-generated parser.