if (KoboldPLAMPlugin.getCurrentProject() != null) { viewer.expandToLevel(KoboldPLAMPlugin.getCurrentProject(),AbstractTreeViewer.ALL_LEVELS); }
	public void propertyChange(final PropertyChangeEvent event) {	    viewer.getControl().getDisplay().syncExec(new Runnable() {					public void run() {					    viewer.refresh();				// FIXME: restore expanded nodes.				if (KoboldPLAMPlugin.getCurrentProject() != null) {				    viewer.expandToLevel(KoboldPLAMPlugin.getCurrentProject(),AbstractTreeViewer.ALL_LEVELS);				}			}		});	}