public void refilterLater() {
		if (isFilteringEnabled && filter != null) {
			filterUpdateManager.updateLater();
		}
	}
Causes the tree to refilter some time later
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/GTree.java