code: private int getHighestID(String namespace) {
          Integer i = (Integer) m_highestID.get(namespace);
          if (i == null) {
              return 0;
          }
          return i.intValue();
      }
docs: Gets the highest id ever used for the given namespace.