org.eclipse.jdt.core.tests.compiler.regression.ProblemTypeAndMethodTest.test013 - 12 (from org.eclipse.jdt.core.tests.compiler.regression.TestAll)