else if (s.equals("Flatfile")) retval = "flat";
    private String encodeDM() {        String s = (String)dmTypeBox.getSelectedItem();        String retval;        if (s.equals("Keyfile")) retval = "bdm";        else if (s.equals("Flatfile")) retval = "flat";        else if (s.equals("Element")) retval = "elem";        else retval = "unknown";        return retval;    }