| commit | a51055a8f3b71f2ccf634016c42eb5b8086a373b | [log] [tgz] |
|---|---|---|
| author | David Pursehouse <dpursehouse@collab.net> | Mon May 27 13:50:26 2019 +0900 |
| committer | David Pursehouse <dpursehouse@collab.net> | Mon May 27 13:55:43 2019 +0900 |
| tree | e15acfeccb6935bdedcaf7c9ff7404980306b641 | |
| parent | 9edc1950d3c0a3717cefda1688a4c37e7fc652fb [diff] |
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
Gerrit web-based plugin manager.
To enable this plugin, please look at the configuration guide