public CasePanel(PumpingLemma l, PumpingLemmaInputPane p)
    {
        myPane = p;
        myLemma = l;
        myCases = new ArrayList();
        setLayout(new BorderLayout());
        add(new JLabel("Cases:"), BorderLayout.NORTH);
        add(initTable(), BorderLayout.CENTER);
        add(initButtons(), BorderLayout.SOUTH);
        setPreferredSize(PREFERRED_SIZE);
        refresh();
    }