check for proper version of websockets because Jetty only supports v13