Object[] expanded = tv.getExpandedElements();
tv.setInput(ResourcesPlugin.getWorkspace()
.getRoot());
tv.setExpandedElements(expanded);
} else
tv.refresh(true);
IViewPart part = PlatformUI.getWorkbench()
.getActiveWorkbenchWindow().getActivePage()
.findView(IPageLayout.ID_PROP_SHEET);
if (part instanceof PropertySheet) {