org.eclipse.jdt.core.tests.compiler.regression.SuperTypeTest.test009 - 1.8 (from org.eclipse.jdt.core.tests.compiler.regression.TestAll)