} else if (elementMatch.getGraphElement() instanceof Subprocess) {
SubprocessDelegate delegate = new SubprocessDelegate();
delegate.openDetails((Subprocess) elementMatch.getGraphElement());
} else if (elementMatch.getGraphElement() != null) {
DesignerEditor designerEditor = (DesignerEditor) IDE.openEditor(getSite().getPage(), elementMatch.getFile());
designerEditor.select(elementMatch.getGraphElement());
}
if (editor == null) {
return;
}
if (offset != 0 && length != 0) {