Are you willing to submit a bug report to JavaCC?
I just filed an enhancement request with JavaCC: https://javacc.dev.java.net/issues/show_bug.cgi?id=53
Andi..
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
