JaaS: lens for the Java Authentication and Authorization Service