Fabrice, I reported it as https://bugs.launchpad.net/debian/+source/javacc/+bug/619709 .
Thank you, David
Fabrice, /bugs.launchpad .net/debian/ +source/ javacc/ +bug/619709 .
I reported it as https:/
Thank you,
David