Source Folder [javadoc] /home/jenkins/agent/workspace/jakartaee-api-build/jakartaee-api/target/api-sources/jakarta.faces/com/sun/faces/push
Overview
Severities Distribution
Reference Comparison
Modified vs. Unchanged
History
Details![](/jakartaee-platform/static/596172e0//plugin/warnings-ng/icons/java.svg)
File | Total | New | Distribution |
---|---|---|---|
WebsocketChannelManager.java | 5 | 0 | |
WebsocketPushContext.java | 2 | 0 | |
Total | 7 | 0 |
Details | File | Category | Severity | Age | Hiddendetails |
---|