Hello, A new version of JavaCC has been released. 4.1 is a maintenance release.We might want to upgrade or at least test with it, since the community reported a bug against JavaCC.
The bug Derby was hit by: https://javacc.dev.java.net/issues/show_bug.cgi?id=152
Relevant Derby Jira issue: https://issues.apache.org/jira/browse/DERBY-2103List of JavaCC fixes: https://javacc.dev.java.net/issues/buglist.cgi?component=javacc&field0-0-0=target_milestone&type0-0-0=equals&value0-0-0=4.1
-- Kristian
