Enumeration keys = newProps.elements();
Enumeration keys = newProps.keys();
	public void actionPerformed(ActionEvent event) {		Object source = event.getSource();		if (source == bOk) {			properties.clear();			Properties newProps = ((PropertiesTableModel)mapProperties.getModel()).getProperties();			Enumeration keys = newProps.elements();			while (keys.hasMoreElements()) {				String key = (String) keys.nextElement(); 				properties.put(key, newProps.getProperty(key));			}			dispose();		} else if (source == bCancel) {			dispose();		} else if (source == bDel) {			System.out.println("Deleting "+mapProperties.getSelectedRow());			((PropertiesTableModel)mapProperties.getModel()).remove(mapProperties.getSelectedRow());			repaint();		}	}