525354555657585960
} public void received() { Channel c = server.getChannel(channelName); c.topicChanged(topic); } }