Added JavaDoc to and improved PermissionContext.