public boolean implies(ProtectionDomain pd, Permission p) { return perms.implies(p); }
void addPermission(Permission perm) { perms.add(perm); }