docs: public double getPriority(Object key) {
      for (int i = 0; i < elements.size(); i++) {
        if (elements.get(i).equals(key)) {
          return priorities[i];
        }
      }
      throw new NoSuchElementException();
    }