String tmpString = paramUser.getName() + "#" + paramUser.getPassword() + "#" + paramUser.isAdmin(); Enumeration enum = paramUser.getAllowedChannelEnum(); while (enum.hasMoreElements()) { tmpString = tmpString + "#" + ((Channel)(enum.nextElement())).getName();
if (paramUser != null) { String tmpString = paramUser.getName() + "#" + paramUser.getPassword() + "#" + paramUser.isAdmin(); Enumeration enum = paramUser.getAllowedChannelEnum(); while (enum.hasMoreElements()) { tmpString = tmpString + "#" + ((Channel)(enum.nextElement())).getName(); } Debug.println(Debug.LOW, this + ": userToString result: " + tmpString); return tmpString;
    private String userToString(User paramUser) {        String tmpString = paramUser.getName() + "#" + paramUser.getPassword() + "#" + paramUser.isAdmin();        Enumeration enum = paramUser.getAllowedChannelEnum();        while (enum.hasMoreElements()) {            tmpString = tmpString + "#" + ((Channel)(enum.nextElement())).getName();        }