Enumeration enum = keys();
Enumeration e = keys();
	public synchronized void clear() {		Enumeration enum = keys();		while (enum.hasMoreElements()) {			String name = (String) enum.nextElement();			switch (propertyType) {				case PROPERTIES :					userAdmin.checkChangePropertyPermission(name);					break;				case CREDENTIALS :					userAdmin.checkChangeCredentialPermission(name);					break;			}		}