A Java IRC API