docs: public Vector getOIDs()
      {
          Vector v = new Vector();
  
          for (int i = 0; i != ordering.size(); i++)
          {
              v.addElement(ordering.elementAt(i));
          }
  
          return v;
      }