private ProtocolStringList getRecentWorkspaces() {
    return Config.getInstance()
        .getPreferencesBuilder()
        .getHistoryBuilder()
        .getRecentWorkspaceList();
  }
The workspace menu that is visible under "File" initially and when managing workspaces in the
main window.
java/ui/src/main/java/com/google/security/zynamics/bindiff/gui/tabpanels/projecttabpanel/menubar/WorkspaceMenu.java