tree 4eeaed7c80efb4572f3f8ffc178878d072e214de
parent 6f695d1dc43815c100bb84fa0e039f6a61f6fdd6
author David Ostrovsky <david@ostrovsky.org> 1558798904 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> 1558993086 +0000

Module: Fix DefaultCharset warning

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

Module.java:115: 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.
    try (BufferedReader br = new BufferedReader(new FileReader(serverIdFile))) {
                                                  ^
    (see https://errorprone.info/bugpattern/DefaultCharset)

Change-Id: I7a4ef6bf920ef09e6d53b797b0adfab14bc961aa