portable java websocket server