introduce javacc: add a jjt file