Set set = s.getPrincipals(DBPrincipal.class);
Iterator i = set.iterator();
if (i.hasNext() && name.equals("DBA"))
return true;
try {
while (true) {
DBPrincipal p = (DBPrincipal) i.next();
if (p.equals(this))
return true;
}
} catch (NoSuchElementException nsee) {
return false;
}