Enumeration keys = properties.elements();
Enumeration keys = properties.keys();
	private void updateInfo() {		mapProperties.removeAll();		Enumeration keys = properties.elements();		Properties props = new Properties();		while (keys.hasMoreElements()) {			String key = (String) keys.nextElement(); 			props.put(key, properties.getProperty(key));		}		((PropertiesTableModel)mapProperties.getModel()).update(props);		mapProperties.repaint();	}