// all classpaths in the workspace are going to be resolved, ensure that containers are initialized in one batch

				manager.batchContainerInitializations = true; 

				// avoid leaking source attachment properties (see https://bugs.eclipse.org/bugs/show_bug.cgi?id=183413)

				IJavaProject[] projects = manager.getJavaModel().getJavaProjects();

				for (int i = 0, length = projects.length; i < length; i++) {

					IClasspathEntry[] classpath = ((JavaProject) projects[i]).getResolvedClasspath();

					if (classpath != null) {

						for (int j = 0, length2 = classpath.length; j < length2; j++) {

							IClasspathEntry entry = classpath[j];

							if (entry.getSourceAttachmentPath() != null)

								Util.setSourceAttachmentProperty(entry.getPath(), null);

							// else source might have been attached by IPackageFragmentRoot#attachSource(...), we keep it

						}

					}

				}

				// initialize delta state

				manager.deltaState.rootsAreStale = true; // in case it was already initialized before we cleaned up the source attachment proprties

/*

 * Ensures that a source attached during a session is not taken into account on restart

 * if the entry has a source attachment.

 * (regression test for bug 183413 PDE can't find the source for plug-ins in the target)

 */

public void testRestart() throws Exception {

	try {

		this.pkgFragmentRoot.attachSource(new Path("/AttachSourceTests/attachsrc.new.zip"), new Path("")/*source root*/, null/*no progress*/);

		simulateExitRestart();

		JavaCore.initializeAfterLoad(null);

		// ensure source is correct

		IClassFile cf = this.pkgFragmentRoot.getPackageFragment("x.y").getClassFile("A.class");

		IMethod method = cf.getType().getMethod("foo", new String[] {});

		assertSourceEquals(

			"unexpected source for foo()",

			"public void foo() {\n" + 

			"	}",

			method.getSource());

	} finally {

		this.pkgFragmentRoot.attachSource(null/*no source attachment*/, null/*no source root*/, null/*no progress*/);

	}

}