Passed

org.eclipse.jdt.core.tests.compiler.regression.SealedTypesTests.testBug562715_003 - 17 (from org.eclipse.jdt.core.tests.compiler.regression.TestAll)