}
/* Tool for PNML Export */
else
if (editor.getDefaultFileType() == FileFilterImpl.PNMLFilter) {
IViewController[] iVC = getMediator().findViewController(IStatusBar.TYPE);
IStatusBar iSB[] = new IStatusBar[iVC.length];
for (int i = 0; i < iSB.length; i++) {
iSB[i] = (IStatusBar) iVC[i];
}
PNMLExport pe = new PNMLExport(iSB);