*/
public Principal getPrincipal(String principalName) throws NoSuchPrincipalException {
Principal p = internalGetPrincipal(principalName);
if (p == null) {
// not found (or access denied)
throw new NoSuchPrincipalException("Unknown principal " + principalName);
} else {
return p;
}
}