I think this should be in 1.7.1 as a follow-up of #308

bazel-out/darwin-fastbuild/genfiles/jflex/LexScan.java:2035: error: [DefaultCharset] Implicit use of the platform default charset, which can result in differing behaviour between JVM executions or incorrect behavior if the encoding of the data source doesn't match expectations.
yypushStream( new FileReader(f) );
^
(see https://errorprone.info/bugpattern/DefaultCharset)
Did you mean 'yypushStream( Files.newBufferedReader(f.toPath(), UTF_8) );' or 'yypushStream( Files.newBufferedReader(f.toPath(), Charset.defaultCharset()) );'?