tableControlModel.setPropertyValue( "FontSlant", FontSlant.ITALIC );
String docURL = database.getDatabase().getModel().getURL();
// save close the database document
database.saveAndClose();
// load a copy of the document
// normally, it should be sufficient to load the same doc. However, there might be objects in the Java VM
// which are not yet freed, and which effectively hold the document alive. More precise: The document (|doc|)
// is certainly disposed, but other objects might hold a reference to one of the many other components