pe.saveToFile(editor, "tmp.pnml");
LoggerManager.info(Constants.FILE_LOGGER, "Petrinet saved in file: "
+ "tmp.pnml");
ApromoreAccessObject aao = new ApromoreAccessObject();
if (!aao.IsOnline())
{
getMediator().getUi().getComponent().setCursor(Cursor.getDefaultCursor());
return false;
}
DataHandler dh = new DataHandler(new FileDataSource("tmp.pnml"));