JAVACC parser