switch (propertyType) { case PROPERTIES : try { userAdminStore.clearProperties(role); } catch (BackingStoreException ex) { return; } userAdmin.eventProducer.generateEvent(UserAdminEvent.ROLE_CHANGED, role); break; case CREDENTIALS : try { userAdminStore.clearCredentials(role); } catch (BackingStoreException ex) { return; } userAdmin.eventProducer.generateEvent(UserAdminEvent.ROLE_CHANGED, role); break; }  super.clear(); }
	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;			}		}