| IResourceChangeEvent.PRE_DELETE
| IResourceChangeEvent.PRE_CLOSE);
- ISavedState savedState = workspace.addSaveParticipant(
- /*PHPeclipsePlugin*/WebUI.this, modelManager);
+// ISavedState savedState = workspace.addSaveParticipant(
+// /*PHPeclipsePlugin*/WebUI.this, modelManager);
WorkspaceJob processSavedState = new WorkspaceJob(
Util.bind("savedState.jobName")) { //$NON-NLS-1$