javacc setting