A Java IRC bot