Add note about modifying the parser to support unicode and using Javacc 5