code: Enumeration tableKeys() {
          Set keys = keySet();
          final Iterator iter = keys.iterator();
          return new Enumeration() {
              public boolean hasMoreElements() {
                  return iter.hasNext();
              }
  
              public Object nextElement() {
                  return iter.next();
              }
          };
      }
docs: /*
  tableKeys