assertNumberOfProposals(proposals, 4);
assertNumberOfProposals(proposals, 7);
	public void testAddToClasspathExportedExtJAR() throws Exception {		IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);		StringBuffer buf= new StringBuffer();		buf.append("package test1;\n");		buf.append("import mylib.Foo;\n");		buf.append("public class E {\n");		buf.append("}\n");		ICompilationUnit cu= pack1.createCompilationUnit("E.java", buf.toString(), false, null);				IJavaProject otherProject= JavaProjectHelper.createJavaProject("other", "bin");		try {			File lib= JavaTestPlugin.getDefault().getFileInPlugin(JavaProjectHelper.MYLIB);			IPath path= Path.fromOSString(lib.getPath());			assertTrue("lib does not exist",  lib != null && lib.exists());			// exported external JAR			IClasspathEntry entry= JavaCore.newLibraryEntry(path, null, null, true);			JavaProjectHelper.addToClasspath(otherProject, entry);						CompilationUnit astRoot= getASTRoot(cu);			ArrayList proposals= collectCorrections(cu, astRoot);			assertNumberOfProposals(proposals, 4);			assertCorrectLabels(proposals);		} finally {			JavaProjectHelper.delete(otherProject);		}	}