For a future version, we should create a separate "spec" artifact similar to https://github.com/eclipse-ee4j/websocket-api.