compiler: add Shiro annotations to generated servlet methods