properties.setProperty("column" + i + ".name", col.getHeaderValue()
properties.setProperty("column" + i + ".name", col.getIdentifier()
    public void saveProperties() {        removeProperty("state.warningFreeminutesShown"); // don't save        // warningState        Debug.msg("Save window position");        properties.setProperty("position.left", Integer.toString(jframe                .getLocation().x));        properties.setProperty("position.top", Integer.toString(jframe                .getLocation().y));        properties.setProperty("position.width", Integer.toString(jframe                .getSize().width));        properties.setProperty("position.height", Integer.toString(jframe                .getSize().height));                Debug.msg("Save column widths");        Enumeration en = jframe.getCallerTable().getColumnModel().getColumns();        int i = 0;        while (en.hasMoreElements()) {            TableColumn col = (TableColumn) en.nextElement();            properties.setProperty("column." + col.getHeaderValue().toString()                    + ".width", Integer.toString(col.getWidth()));            properties.setProperty("column" + i + ".name", col.getHeaderValue()                    .toString());            i++;        }        try {            Debug.msg("Save other properties");            properties.storeToXML(JFritz.PROPERTIES_FILE);        } catch (IOException e) {            Debug.err("Couldn't save Properties");        }    }