docs: SaveReturn saveAnalysis(final File f) {
  
          Future<Object> waiter = mainFrame.getBackgroundExecutor().submit(() -> {
              BugSaver.saveBugs(f, mainFrame.getBugCollection(), mainFrame.getProject());
              return null;
          });
          try {
              waiter.get();
          } catch (InterruptedException e) {
              return SaveReturn.SAVE_ERROR;
          } catch (ExecutionException e) {
              return SaveReturn.SAVE_ERROR;
          }
  
          mainFrame.setProjectChanged(false);
  
          return SaveReturn.SAVE_SUCCESSFUL;
      }