public final String getWorkspaceDirectory() {
    return ""; // TODO(cblichmann): Implement/check
  }
Sets and gets the main settings via java
java/ui/src/main/java/com/google/security/zynamics/bindiff/config/GeneralSettingsConfigItem.java