a4j:push is using atmosphere for WebSockets, and now Java EE 7 Web Profile provides standardized Web Sockets (see JSR 356). Are there any migration considerations regarding JSR 356?