private void addRecentWorkspaces() {
    boolean first = true;
    for (String workspace : getRecentWorkspaces()) {
      if (workspace.isEmpty()) {
        continue;
      }

      if (first) {
        add(new JSeparator());
        first = false;
      }

      add(
          GuiUtils.buildMenuItem(
              minimizeWorkspacePath(workspace),
              e -> {
                controller.closeWorkspace();
                controller.loadWorkspace(workspace);
              }));
    }
  }
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