6465666768697071727374
t.setValue("nick", encodeHtml(new_nick)); try { bot.addBotListener(this); bot.changeNick(new_nick); synchronized (this) { if (null == bot.getConnectedNick() || !bot.getConnectedNick().equals(new_nick)) {