CtrLog: Chat Application Code in JAVA