Improved text for pdf import menuitems; fixed flickering of TreeSelectionGUI by invoking dbModel.upateTree() only at the end of importing, not whenever an object was stored, but updateTree now has to be called manually instead automatically whenever an object is stored via dbModel.storeObject()