if (KoboldPLAMPlugin.getCurrentProject() != null) { viewer.expandToLevel(KoboldPLAMPlugin.getCurrentProject(),AbstractTreeViewer.ALL_LEVELS); }
			public void run() {					    viewer.refresh();				// FIXME: restore expanded nodes.				if (KoboldPLAMPlugin.getCurrentProject() != null) {				    viewer.expandToLevel(KoboldPLAMPlugin.getCurrentProject(),AbstractTreeViewer.ALL_LEVELS);				}			}