fix #7069: use the same configurator for deleting a taxon node with or without children
[taxeditor.git] / eu.etaxonomy.taxeditor.navigation / src / main / java / eu /
drwxr-xr-x   ..
drwxr-xr-x - etaxonomy