code: private synchronized void enumerate(Hashtable h) {
          for (String key : keySet()) {
              h.put(key, get(key));
          }
      }
docs: Enumerates all key/value pairs in the specified hashtable.
  @param h the hashtable
  @throws ClassCastException if any of the property keys
  is not of String type.