} else
if (toDelete[i] instanceof GroupModel) {
allPorts.add(toDelete[i]);
} else
if (toDelete[i] instanceof AbstractPetriNetElementModel) {
AbstractPetriNetElementModel element = (AbstractPetriNetElementModel) toDelete[i];
// if there are trigger, delete their jgraph model
if (toDelete[i] instanceof TransitionModel) {
if (((TransitionModel) toDelete[i]).getToolSpecific().getTrigger() != null) {
DefaultGraphCell cell = ((TransitionModel) editor.getModelProcessor()
.getElementContainer().getElementById(element.getId()))
.getToolSpecific().getTrigger();
if (cell != null) {
deleteCells(new Object[] { cell });
}
}
}
allPorts.add(element.getPort());
allPorts.add(toDelete[i]);
editor.getModelProcessor().getElementContainer().removeOnlyElement(element.getId());
}
}
Vector<Object> allDeletedObjects = new Vector<Object>();
allDeletedObjects.addAll(allPorts);