docs: public HistoryReference getHistoryReference(int historyReferenceId) {
          DefaultHistoryReferencesTableEntry entry = getEntryWithHistoryId(historyReferenceId);
          if (entry != null) {
              return entry.getHistoryReference();
          }
          return null;
      }