/**
* The idea is that this method will be called every time a node is inserted or removed from the
* tree. (BTW we are assuming here that it is impossible to change a priority of an existing
* node.)
*/
protected void invalidateCacheOfVisibleChildren() {
super.invalidateCacheOfVisibleChildren();
if (model != null) {
model.notifyNodesAddedOrRemoved();
}
}
