public void setWorkspaceDirectory(final String workspaceDirectory) {
    // TODO(cblichmann): Implement/check
    // Config.getInstance().getPreferencesBuilder().setWorkspace(workspaceDirectory);
  }
Sets and gets the main settings via java
java/ui/src/main/java/com/google/security/zynamics/bindiff/config/GeneralSettingsConfigItem.java