File javacc-encoding.patch of Package javacc3

--- javacc-3.2/src/org/javacc/parser/build.xml	2003-06-09 22:45:05.000000000 +0200
+++ javacc-3.2.new/src/org/javacc/parser/build.xml	2017-10-06 10:20:43.668673159 +0200
@@ -42,6 +42,7 @@
     <javac srcdir="${javacc.root}/src"
            destdir="${javacc.root}/classes"
            debug="${build.compiler.debug}"
+           encoding="UTF-8"
            classpath="${javacc.root}/classes">
     </javac>
   </target>