public ArrayList getDoneDescriptions()
    {
        ArrayList ret = new ArrayList();
        for(int i = 0; i < myDoneCases.size(); i++)
            ret.add(myDoneCases.get(i).toString());
        return ret;
    }