set JFlex encoding explicitly

Vladimir Kotal · Vladimir Kotal · commit b3041a93d726 · 2020-07-20T10:27:46.000+02:00
fixes #3173
diff --git a/opengrok-indexer/pom.xml b/opengrok-indexer/pom.xml
@@ -213,6 +213,7 @@ Portions Copyright (c) 2020-2020, Lubos Kosco <tarzanek@gmail.com>.
                             <lexDefinitions>
                                 <lexDefinition>${basedir}/target/jflex-sources</lexDefinition>
                             </lexDefinitions>
+                            <encodingName>${project.build.sourceEncoding}</encodingName>
                         </configuration>
                     </execution>
                 </executions>
