java lib for receiving simple push messages using web sockets