WebSocketServer.java porting done