Links for jakarta-websocket-api