Buggy code:
public class InteropTests extends CompilerTests { @ Override protected ModuleWithArtifact getDestModuleWithArtifact ( String main ) { } @ Test public void testIopArrays ( ) { } @ Test public void testIopArraysNoOpt ( ) { } @ Test public void testIopConstructors ( ) { } @ Test public void testIopImport ( ) { } @ Test public void testIopMethods ( ) { } @ Test public void testIopAmbiguousOverloading ( ) { } @ Test public void testIopVariadicOverloadedMethods ( ) { } @ Test public void testIopVariadicArrays ( ) { } @ Test public void testIopImplementOverloadedConstructors ( ) { } @ Ignore ( "M5" ) @ Test public void testIopImplementOverloadedMethods ( ) { } @ Test public void testIopImplementSingleOverloadedMethods ( ) { } @ Test public void testIopFields ( ) { } @ Test public void testIopSpecialFields ( ) { } @ Test public void testIopGetString ( ) { } @ Test public void testIopOverloadedSpecialFields ( ) { } @ Test public void testIopAttributes ( ) { } @ Test public void testIopSatisfies ( ) { } @ Test public void testIopOptionality ( ) { } @ Test public void testIopStaticMembers ( ) { } @ Test public void testIopStaticRefs ( ) { } @ Test public void testIopTypes ( ) { } @ Test public void testIopEnums ( ) { } @ Test public void testIopEnumSwitch ( ) { } @ Test public void testIopNesting ( ) { } @ Test public void testIopVariance ( ) { } @ Ignore ( "M6:<seq2seq4repair_space>depends<seq2seq4repair_space>on<seq2seq4repair_space>https:////github.com//ceylon//ceylon-compiler//issues//612" ) @ Test public void testIopVariance2_fail ( ) { } @ Test public void testIopCaseMismatch ( ) { } @ Test public void testIopCaseMismatch2 ( ) { } @ Test public void testIopCeylonKeywords ( ) { } @ Test public void testIopCheckedExceptions ( ) { } @ Test public void testIopExceptionsAndThrowable ( ) { } @ Test public void testIopJavaExceptionMessage ( ) { } @ Test public void testIopJavaExceptionMessage2 ( ) { } @ Test public void testIopJavaExceptionArrays ( ) { } @ Test public void testIopRefinesProtectedAccessMethod ( ) { } @ Test public void testMixedCompilationIndependent ( ) { } @ Test public void testMixedCompilationCeylonNeedsJava ( ) { } @ Ignore ( "M5:<seq2seq4repair_space>#470" ) @ Test public void testMixedCompilationJavaNeedsCeylon ( ) { } @ Ignore ( "M5:<seq2seq4repair_space>#470" ) @ Test public void testMixedCompilationInterdependent ( ) { } @ Test public void testUsesJDKTypes ( ) { } @ Test public void testIopCallsProtectedAccessMethod ( ) { } @ Test public void testIopRefinesAndCallsProtectedAccessMethod ( ) { } @ Test public void testIopRefinesDefaultAccessMethod ( ) { } @ Test public void testIopRefinesDefaultAccessMethodWithShared ( ) { } @ Test public void testIopRefinesDefaultAccessMethodWithActual ( ) { } @ Test public void testIopRefinesDefaultAccessMethodWithSharedActual ( ) { } @ Test public void testIopCallsDefaultAccessMethod ( ) { } @ Test public void testIopExtendsDefaultAccessClass ( ) { } @ Test public void testIopExtendsDefaultAccessClassWithOverloading ( ) { } @ Test public void testIopExtendsDefaultAccessClassInAnotherPkg ( ) { } @ Test public void testIopCallsDefaultAccessClass ( ) { } @ Test public void testIopCallsDefaultAccessClassWithOverloading ( ) { } @ Test public void testIopCallsDefaultAccessClassInAnotherPkg ( ) { } @ Test public void testIopCallsDefaultAccessClassInAnotherPkgWithOverloading ( ) { } @ Test public void testIopCallsDefaultAccessMethodInAnotherPkg ( ) { } @ Test public void testIopRefinesDefaultAccessMethodInAnotherPkg ( ) { } @ Test public void testIopNamedInvocations ( ) { } @ Test public void testIopOverrideStaticMethods ( ) { } @ Test public void testAnnotationInterop ( ) { } @ Test public void testBannedAnnotation ( ) { } @ Test public void testAnnotationsConstrainedClassCtor ( ) { } @ Test public void testAnnotationInteropQualifiedEnum ( ) { } @ Test public void testSealedInterop ( ) { compile ( "access//JavaSealed.java" ) ; <START_BUG> assertErrors ( "Sealed" , new CompilerError ( 27 , "package<seq2seq4repair_space>private<seq2seq4repair_space>constructor<seq2seq4repair_space>is<seq2seq4repair_space>not<seq2seq4repair_space>visible:<seq2seq4repair_space>'JavaSealed'" ) , new CompilerError ( 29 , "instantiates<seq2seq4repair_space>or<seq2seq4repair_space>references<seq2seq4repair_space>a<seq2seq4repair_space>sealed<seq2seq4repair_space>class<seq2seq4repair_space>in<seq2seq4repair_space>a<seq2seq4repair_space>different<seq2seq4repair_space>module:<seq2seq4repair_space>'Runtime'<seq2seq4repair_space>in<seq2seq4repair_space>'java.base'" ) , new CompilerError ( 30 , "type<seq2seq4repair_space>constructor<seq2seq4repair_space>is<seq2seq4repair_space>not<seq2seq4repair_space>visible:<seq2seq4repair_space>'JavaSealed'" ) ) ; <END_BUG> } @ Test public void testIopBug1736 ( ) { } @ Test public void testIopBug1806 ( ) { } @ Test public void testIopBug1977 ( ) { } @ Test public void testIopWidening ( ) { } @ Test public void testIopBug2019 ( ) { } @ Test public void testIopBug2027 ( ) { } @ Test public void testIopBug2042 ( ) { } @ Test public void testIopBug2053 ( ) { } @ Test public void testIopBug2054 ( ) { } @ Test public void testIopBug2199 ( ) { } @ Test public void testIopBug2271 ( ) { } @ Test public void testIopBug2310 ( ) { } @ Test public void testIopBug2318 ( ) { } @ Test public void testIopBug2327 ( ) { } @ Test public void testIopJpaCtor ( ) { } @ Test public void testIopBug2331 ( ) { } @ Test public void testIopJavaSerialization ( ) throws Throwable { } }

Fix:
assertErrors ( "Sealed" , new CompilerError ( 27 , "package<seq2seq4repair_space>private<seq2seq4repair_space>constructor<seq2seq4repair_space>is<seq2seq4repair_space>not<seq2seq4repair_space>visible:<seq2seq4repair_space>'JavaSealed'" ) , new CompilerError ( 29 , "class<seq2seq4repair_space>cannot<seq2seq4repair_space>be<seq2seq4repair_space>instantiated:<seq2seq4repair_space>'Runtime'<seq2seq4repair_space>does<seq2seq4repair_space>not<seq2seq4repair_space>have<seq2seq4repair_space>a<seq2seq4repair_space>default<seq2seq4repair_space>constructor" ) , new CompilerError ( 30 , "type<seq2seq4repair_space>constructor<seq2seq4repair_space>is<seq2seq4repair_space>not<seq2seq4repair_space>visible:<seq2seq4repair_space>'JavaSealed'" ) ) ;