/** * 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(); } }