docs: public void addFileToRecent(File xmlFile) {
          ArrayList<File> xmlFiles = GUISaveState.getInstance().getRecentFiles();
          if (!xmlFiles.contains(xmlFile)) {
              GUISaveState.getInstance().addRecentFile(xmlFile);
          }
          this.recentMenuCache.addRecentFile(xmlFile);
      }