docs: private static <E> List<OWLAxiom> getOrderedJustifications(List<OWLAxiom> mups, final Set<Explanation<E>> allJustifications) {
          Comparator<OWLAxiom> mupsComparator = new Comparator<OWLAxiom>() {
              public int compare(OWLAxiom o1, OWLAxiom o2) {
                  // The checker that appears in most MUPS has the lowest index
                  // in the list
                  int occ1 = getOccurrences(o1, allJustifications);
                  int occ2 = getOccurrences(o2, allJustifications);
                  return -occ1 + occ2;
              }
          };
          Collections.sort(mups, mupsComparator);
          return mups;
      }