A new jabber server, for less downtime of jabber.ccc.de, written in distributed real time java