docs: public void read() {
          File prefFile = new File(SystemProperties.getProperty("user.home"), PREF_FILE_NAME);
          if (!prefFile.exists() || !prefFile.isFile()) {
              return;
          }
          try {
              read(new FileInputStream(prefFile));
          } catch (IOException e) {
              // Ignore - just use default preferences
          }
      }