+
+package org.apache.catalina.startup;
+
-+import java.util.Hashtable;
+import java.util.Enumeration;
++import java.util.Hashtable;
+
+import javax.naming.Context;
+import javax.naming.NamingEnumeration;
+ /**
+ * The set of home directories for all defined users, keyed by username.
+ */
-+ private Hashtable homes = new Hashtable();
++ private Hashtable<String,String> homes = new Hashtable<String,String>();
+
+ /**
+ * The UserConfig listener with which we are associated.
+ * @param user User for which a home directory should be retrieved
+ */
+ public String getHome(String user) {
-+ return ((String) homes.get(user));
++ return homes.get(user);
+ }
+
+
+ /**
+ * Return an enumeration of the usernames defined on this server.
+ */
-+ public Enumeration getUsers() {
++ public Enumeration<String> getUsers() {
+ return (homes.keys());
+ }
+
+ }
+ } while ((cookie != null) && (cookie.length != 0));
+ } catch (Exception e) {
-+ // e.printStackTrace();
++ e.printStackTrace();
+ }
+ }
+}