tree e15acfeccb6935bdedcaf7c9ff7404980306b641
parent 9edc1950d3c0a3717cefda1688a4c37e7fc652fb
author David Pursehouse <dpursehouse@collab.net> 1558932626 +0900
committer David Pursehouse <dpursehouse@collab.net> 1558932943 +0900

Specify charset to fix DefaultCharset error from error prone

When all error prone warnings are enabled the DefaultCharset
bug pattern is reported, for example:

  plugins/plugin-manager/src/main/java/com/googlesource/gerrit/plugins/manager/FirstWebLoginListener.java:56:
  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.
        Files.write(firstLoginFile, new Date().toString().getBytes(), StandardOpenOption.CREATE);
                                                                  ^
    (see https://errorprone.info/bugpattern/DefaultCharset)

Change-Id: I29e19b68c014da9afd491006d936f92219808978