Enumeration keys = currentTile.getProperties(); Properties props = new Properties(); while(keys.hasMoreElements()) { String key = (String) keys.nextElement(); props.put(key, currentTile.getPropertyValue(key));
/* Properties editProps = new Properties(); for (Enumeration keys = tileProps.keys(); keys.hasMoreElements();) { String key = (String)keys.nextElement(); editProps.put(key, tileProps.getProperty(key));
    public void updateTileInfo() {        if (currentTile == null) {            return;        }        tileProperties.removeAll();        Enumeration keys = currentTile.getProperties();        Properties props = new Properties();        while(keys.hasMoreElements()) {            String key = (String) keys.nextElement();             props.put(key, currentTile.getPropertyValue(key));        }        ((PropertiesTableModel)tileProperties.getModel()).update(props);        tileProperties.repaint();    }