data.remove(sel);
data.remove(backend.get(sel)); backend.remove(sel);
            public void actionPerformed(ActionEvent event) {                int sel = transList.getSelectedIndex();                if (sel!=-1) {                    // !!!! wir arbeiten auf der Originalreferenz, die Transition ist dann                    // tatschlich hin :)                    data.remove(sel);                    listMod.remove(sel);                    transList.setSelectedIndex(listMod.size()-1);                    if (listMod.isEmpty()) {                        delButton.setEnabled(false);                    }                }            }