136137138139140141142143144145
if (!seens_waiting.contains(seen)) { seens_waiting.add(seen); // request the current list of names in the channel bot.send(new Names(channel.getName())); } } } }
204205206207208209210211212213
if (!message_seen.getNicks().contains(nick)) { message_seen.getNicks().add(nick); // request the current list of names in the channel bot.send(new Names(channel.getName())); } } } }