assertNumberOf("proposals", proposals.size(), 1);
assertNumberOf("proposals", proposals.size(), 2);
	public void testUnimplementedMethods() throws Exception {				IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);		StringBuffer buf= new StringBuffer();		buf.append("package test1;\n");		buf.append("import java.io.IOException;\n");		buf.append("public class E implements MouseListener{\n");		buf.append("    public void goo() {\n");		buf.append("    }\n");					buf.append("    public void foo() {\n");		buf.append("        try {\n");				buf.append("            goo();\n");		buf.append("        } catch (IOException e) {\n");		buf.append("        } finally {\n");		buf.append("        }\n");				buf.append("    }\n");		buf.append("}\n");		ICompilationUnit cu= pack1.createCompilationUnit("E.java", buf.toString(), false, null);		CompilationUnit astRoot= AST.parseCompilationUnit(cu, true);		IProblem[] problems= astRoot.getProblems();		assertNumberOf("problems", problems.length, 1);				CorrectionContext context= getCorrectionContext(cu, problems[0]);		assertCorrectContext(context);		ArrayList proposals= new ArrayList();				JavaCorrectionProcessor.collectCorrections(context,  proposals);		assertNumberOf("proposals", proposals.size(), 1);		assertCorrectLabels(proposals);					CUCorrectionProposal proposal= (CUCorrectionProposal) proposals.get(0);		String preview= proposal.getCompilationUnitChange().getPreviewContent();		buf= new StringBuffer();		buf.append("package test1;\n");		buf.append("import java.io.IOException;\n");		buf.append("public class E {\n");		buf.append("    public void goo() {\n");		buf.append("    }\n");					buf.append("    public void foo() {\n");		buf.append("        try {\n");				buf.append("            goo();\n");		buf.append("        } finally {\n");		buf.append("        }\n");				buf.append("    }\n");		buf.append("}\n");		assertEqualString(preview, buf.toString());	}	