/* 98 */ if ((principal instanceof RunAsIdentity))
/* */ {
/* 100 */ return ((RunAsIdentity)principal).doesUserHaveRole(set);
/* */ }
/* */
/* 104 */ return rm.doesUserHaveRole(principal, set);
/* */ }
/* */ }
/* Location: /home/mnovotny/projects/EMBEDDED_JBOSS_BETA3_COMMUNITY/embedded/output/lib/embedded-jboss/lib/jboss-embedded-all.jar
* Qualified Name: org.jboss.aspects.security.SecurityContext