Bug fixes:
Java unsubscribe() should not throw exception if server was shut down and/or started again; replace exception throw by print to debug output