code: public void list(PrintStream out) {
          out.println("-- listing properties --");
          Hashtable h = new Hashtable();
          enumerate(h);
          for (Enumeration e = h.keys() ; e.hasMoreElements() ;) {
              String key = (String)e.nextElement();
              String val = (String)h.get(key);
              if (val.length() > 40) {
                  val = val.substring(0, 37) + "...";
              }
              out.println(key + "=" + val);
          }
      }
docs: Prints this property list out to the specified output stream.
  This method is useful for debugging.
  
  @param   out   an output stream.
  @throws  ClassCastException if any key in this property list
  is not a string.