public Void withBroker(DBBroker broker) throws XMLDBException, LockException, PermissionDeniedException, IOException, EXistException, TriggerException, SyntaxException {
final SecurityManager sm = broker.getBrokerPool().getSecurityManager();
if(!sm.hasAdminPrivileges(user))
{throw new XMLDBException(ErrorCodes.PERMISSION_DENIED, "you are not allowed to remove users");}
sm.deleteAccount(u);
return null;
}
});
} catch(final Exception e) {