else if (s.equals("InvFPIndex")) retval = "ifp"; else if (s.equals("InvIndex")) retval = "inv";
    private String encodeIdx()    {        String s = (String)indexTypeBox.getSelectedItem();        String retval;        if (s.equals("KeyfileIncIndex")) retval = "key";        else if (s.equals("LemurIndriIndex")) retval = "indri";        else if (s.equals("InvFPIndex")) retval = "ifp";        else if (s.equals("InvIndex")) retval = "inv";        else retval = "unknown";        return retval;    }