small changes to mwst-server (yesterday). Also tested a bunch of stuff
with my external server. I know now why it didn't work at first to
connect via RMI.. the HSR firewall blocks pretty much all ports. I've
tested some connections via a known open port (5222) now and that worked
just fine. So I revise my statement about RMI sucking :P