Searching in jetty-websocket/websocket-server/src/main/java