我已将服务器从Wildfly 10.x升级到13.x，由于某种原因，我找不到Webscoket库
我以前有这个服务器端点注释，它是由wildfly服务器提供的：
import javax.websocket.server.ServerEndpoint;
@ServerEndpoint("/ws/qvi/push")
public class MyServerPush{
...
}
现在升级到wildfly 13.x之后，我找不到提供的库。我在Eclipse中遇到此错误：
ServerEndpoint无法解析为类型