use javacc-5.0 for a demo