IStatusBar iSB[] = new IStatusBar[iVC.length];
for (int i = 0; i < iSB.length; i++) {
iSB[i] = (IStatusBar) iVC[i];
}
PNMLExport pe = new PNMLExport(iSB);
pe.saveToFile(editor, editor.getFilePath());
LoggerManager.info(Constants.FILE_LOGGER, "Petrinet saved in file: "
+ editor.getFilePath());
ConfigurationManager.getConfiguration().addRecentFile(
new File(editor.getFilePath()).getName(), editor.getPathName());