}
JenaIOHandler jenaIOHandler = main.getJenaIOHandler();
FileOutputStream stream = new FileOutputStream(filename);
jenaIOHandler.convertToOWL(main.getOwlModel(), stream);
stream.close();
main.setOwlFileName(filename);
main.markSaved();
this.saved = true;