while (e2.hasMoreElements())
while (en.hasMoreElements())
  private static void merge (Hashtable h1, Hashtable h2)  {    Enumeration e2 = h2.keys();        while (e2.hasMoreElements())      {	String key2 = (String) e2.nextElement();	Object value1 = h1.get(key2);	if (value1 == null)	  h1.put(key2, h2.get(key2));	else if (key2.compareTo(colon_list[0]) == 0		 || key2.compareTo(colon_list[1]) == 0		 || key2.compareTo(colon_list[2]) == 0		 || key2.compareTo(colon_list[3]) == 0)	  {	    String value2 = (String) h2.get(key2);	    h1.put(key2, (String) value1 + ":" + value2);	  }      }  }