629630631632633634635636637638639
public void run() { getDetails().showPage(information); Tree tree = ((TreeViewer) viewer).getTree(); if (tree != null && !tree.isDisposed()) { tree.removeAll(); } } }); }