protected void hookControl(Control control) {
super.hookControl(control);
Tree treeControl = (Tree) control;
if ((treeControl.getStyle() & SWT.VIRTUAL) != 0) {
treeControl.addDisposeListener(new DisposeListener() {
public void widgetDisposed(DisposeEvent e) {
treeIsDisposed = true;
unmapAllElements();
}
});