@Override
    public Set<Principal> getPrincipals() {
        throw notAllowed("getPrincipals");
    }
@Test(expected=UnsupportedOperationException.class)
    public void testGetPrincipals() {
        ctx.getPrincipals();
    }