public void removeUser(String username_) {
   Enumeration e = _users.elements();
   while (e.hasMoreElements()) {
     User u = (User) e.nextElement();
     if (u.account.equals(username_)) {
       _users.remove(u);
       break;
     }
   }
 }