private void checkAddToRoleForAdministrator(Permissions p)
{
assertTrue(p.implies(new WebResourcePermission("/secured.jsp", "GET,POST")));
assertTrue(p.implies(new WebResourcePermission("/sslprotected.jsp", "GET,POST")));
assertTrue(p.implies(new WebRoleRefPermission("secured", "ADM")));
assertTrue(p.implies(new WebRoleRefPermission("secured", "Administrator")));
assertTrue(p.implies(new WebRoleRefPermission("sslprotected", "ADM")));
assertTrue(p.implies(new WebRoleRefPermission("sslprotected", "Administrator")));
assertTrue(p.implies(new WebRoleRefPermission("unchecked", "Administrator")));
assertTrue(p.implies(new WebRoleRefPermission("excluded", "Administrator")));
//Jacc1.1
assertTrue(p.implies(new WebRoleRefPermission("", "Administrator")));
}