4.0.0 org.jenkins-ci.main jenkins-parent ${revision}${changelist} ../.. websocket-jetty12-ee9 Jetty 12 (EE 9) implementation for WebSocket An implementation of the WebSocket handler that works with Jetty 12 (EE 9). org.jenkins-ci.main jenkins-bom ${project.version} pom import org.jenkins-ci winstone ${winstone.version} true org.jenkins-ci.main websocket-spi ${project.version} org.kohsuke access-modifier-annotation org.kohsuke.metainf-services metainf-services true org.apache.maven.plugins maven-compiler-plugin org.jenkins-ci annotation-indexer org.kohsuke.metainf-services metainf-services org.apache.maven.plugins maven-javadoc-plugin true