A Java client for STOMP over WebSockets using Spring 4