if (!whiteChecked)
if (whiteChecked) fTreeViewer.setGrayed(treeElement, false); else
	protected void updateHierarchy(Object treeElement) {		boolean whiteChecked= determineShouldBeWhiteChecked(treeElement);		boolean shouldBeAtLeastGray= determineShouldBeAtLeastGrayChecked(treeElement);		fTreeViewer.setChecked(treeElement, shouldBeAtLeastGray);		setWhiteChecked(treeElement, whiteChecked);		if (!whiteChecked)			fTreeViewer.setGrayed(treeElement, shouldBeAtLeastGray);		// proceed up the tree element hierarchy		Object parent= fTreeContentProvider.getParent(treeElement);		if (parent != null) {			updateHierarchy(parent);		}	}