Ontology editor: refresh all trees on class add/remove