docs: public void write() {
          try {
              File prefFile = new File(SystemProperties.getProperty("user.home"), PREF_FILE_NAME);
              write(new FileOutputStream(prefFile));
          } catch (IOException e) {
              if (FindBugs.DEBUG) {
                  e.printStackTrace(); // Ignore
              }
          }
      }