} else if (source == bDel) { ((PropertiesTableModel)mapProperties.getModel()).remove(mapProperties.getSelectedRow()); repaint();
    public void actionPerformed(ActionEvent event) {        Object source = event.getSource();        if (source == bOk) {            // Copy over the new set of properties from the properties table            // model.            properties.clear();            Properties newProps = tableModel.getProperties();            Enumeration keys = newProps.keys();            while (keys.hasMoreElements()) {                String key = (String)keys.nextElement();                 properties.put(key, newProps.getProperty(key));            }            dispose();        } else if (source == bCancel) {            dispose();        }    }