return perms.get(perm) != null;
Enumeration elements = elements();  while (elements.hasMoreElements()) { Permission p = (Permission)elements.nextElement(); if (p.implies(perm)) return true; } return false;
  public boolean implies(Permission perm)  {        return perms.get(perm) != null;    }