public void write() throws IOException {
    logger.atInfo().log("Saving configuration...");
    Config.saveUserConfig(Config.getInstance());
  }
Writes the configuration file to disk.
java/ui/src/main/java/com/google/security/zynamics/bindiff/config/BinDiffConfig.java