Push and shiro authentication

Is there a better solution than the one described in (
http://mikepilone.blogspot.com.br/2013/07/vaadin-shiro-and-push.html
) to shiro authentication when using push? Preferably a solution that does not get rid of DefaultWebSecurityManager.