Buggy code:
public static final int UnhandledWarningToken = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit16 ) ; public static final int RawTypeReference = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit17 ) ; public static final int UnusedLabel = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit18 ) ; public static final int ParameterAssignment = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit19 ) ; public static final int FallthroughCase = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit20 ) ; public static final int OverridingMethodWithoutSuperInvocation = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit21 ) ; public static final int PotentialNullReference = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit22 ) ; public static final int RedundantNullCheck = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit23 ) ; public static final int MissingJavadocTagDescription = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit24 ) ; public static final int UnusedTypeArguments = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit25 ) ; public static final int UnusedWarningToken = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit26 ) ; public static final int RedundantSuperinterface = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit27 ) ; public static final int ComparingIdentical = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit28 ) ; public static final int MissingSynchronizedModifierInInheritedMethod = ( IrritantSet . GROUP1 ) | ( ASTNode . Bit29 ) ; public static final int ShouldImplementHashcode = ( IrritantSet . GROUP2 ) | ( ASTNode . Bit1 ) ; public static final int DeadCode = ( IrritantSet . GROUP2 ) | ( ASTNode . Bit2 ) ; protected IrritantSet errorThreshold ; protected IrritantSet warningThreshold ; public int produceDebugAttributes ; public long complianceLevel ; public long sourceLevel ; public long targetJDK ; public String defaultEncoding ; public boolean verbose ; public boolean produceReferenceInfo ; public boolean preserveAllLocalVariables ; public boolean parseLiteralExpressionsAsConstants ; public int maxProblemsPerUnit ; public char [ ] [ ] taskTags ; public char [ ] [ ] taskPriorites ; public boolean isTaskCaseSensitive ; public boolean reportDeprecationInsideDeprecatedCode ; public boolean reportDeprecationWhenOverridingDeprecatedMethod ; public boolean reportUnusedParameterWhenImplementingAbstract ; public boolean reportUnusedParameterWhenOverridingConcrete ; public boolean reportUnusedParameterIncludeDocCommentReference ; public boolean reportUnusedDeclaredThrownExceptionWhenOverriding ; public boolean reportUnusedDeclaredThrownExceptionIncludeDocCommentReference ; public boolean reportUnusedDeclaredThrownExceptionExemptExceptionAndThrowable ; public boolean reportSpecialParameterHidingField ; public boolean reportDeadCodeInTrivialIfStatement ; public boolean docCommentSupport ; public boolean reportInvalidJavadocTags ; public int reportInvalidJavadocTagsVisibility ; public boolean reportInvalidJavadocTagsDeprecatedRef ; public boolean reportInvalidJavadocTagsNotVisibleRef ; public String reportMissingJavadocTagDescription ; public int reportMissingJavadocTagsVisibility ; public boolean reportMissingJavadocTagsOverriding ; public int reportMissingJavadocCommentsVisibility ; public boolean reportMissingJavadocCommentsOverriding ; public boolean inlineJsrBytecode ; public boolean suppressWarnings ; public boolean treatOptionalErrorAsFatal ; public boolean performMethodsFullRecovery ; public boolean performStatementsRecovery ; public boolean processAnnotations ; public boolean storeAnnotations ; public boolean reportMissingOverrideAnnotationForInterfaceMethodImplementation ; public boolean generateClassFiles ; public static final String [ ] warningTokens = new String [ ] { "all" , "boxing" , "cast" , "dep-ann" , "deprecation" , "fallthrough" , "finally" , "hiding" , "incomplete-switch" , "nls" , "null" , "restriction" , "serial" , "static-access" , "super" , "synthetic-access" , "unchecked" , "unqualified-field-access" , "unused" } ; public CompilerOptions ( ) { } public CompilerOptions ( Map settings ) { } public CompilerOptions ( Map settings , boolean parseLiteralExpressionsAsConstants ) { } public static String optionKeyFromIrritant ( int irritant ) { } public static String versionFromJdkLevel ( long jdkLevel ) { } public static long versionToJdkLevel ( Object versionID ) { } public static String [ ] warningOptionNames ( ) { } public static String warningTokenFromIrritant ( int irritant ) { } public static IrritantSet warningTokenToIrritants ( String warningToken ) { } public Map getMap ( ) { } public int getSeverity ( int irritant ) { } public String getSeverityString ( int irritant ) { } public String getVisibilityString ( int level ) { } public boolean isAnyEnabled ( IrritantSet irritants ) { } protected void resetDefaults ( ) { this . errorThreshold = new IrritantSet ( IrritantSet . COMPILER_DEFAULT_ERRORS ) ; this . warningThreshold = new IrritantSet ( IrritantSet . COMPILER_DEFAULT_WARNINGS ) ; this . produceDebugAttributes = ( ClassFileConstants . ATTR_SOURCE ) | ( ClassFileConstants . ATTR_LINES ) ; this . complianceLevel = ClassFileConstants . JDK1_4 ; this . sourceLevel = ClassFileConstants . JDK1_3 ; this . targetJDK = ClassFileConstants . JDK1_2 ; this . defaultEncoding = null ; this . verbose = Compiler . DEBUG ; this . produceReferenceInfo = false ; this . preserveAllLocalVariables = false ; this . parseLiteralExpressionsAsConstants = true ; this . maxProblemsPerUnit = 100 ; this . taskTags = null ; this . taskPriorites = null ; this . isTaskCaseSensitive = true ; this . reportDeprecationInsideDeprecatedCode = false ; this . reportDeprecationWhenOverridingDeprecatedMethod = false ; this . reportUnusedParameterWhenImplementingAbstract = false ; this . reportUnusedParameterWhenOverridingConcrete = false ; this . reportUnusedParameterIncludeDocCommentReference = true ; this . reportUnusedDeclaredThrownExceptionWhenOverriding = false ; this . reportUnusedDeclaredThrownExceptionIncludeDocCommentReference = true ; this . reportUnusedDeclaredThrownExceptionExemptExceptionAndThrowable = true ; this . reportSpecialParameterHidingField = false ; this . reportInvalidJavadocTagsVisibility = ClassFileConstants . AccPublic ; this . reportInvalidJavadocTags = false ; this . reportInvalidJavadocTagsDeprecatedRef = false ; this . reportInvalidJavadocTagsNotVisibleRef = false ; this . reportMissingJavadocTagDescription = CompilerOptions . RETURN_TAG ; this . reportMissingJavadocTagsVisibility = ClassFileConstants . AccPublic ; this . reportMissingJavadocTagsOverriding = false ; this . reportMissingJavadocCommentsVisibility = ClassFileConstants . AccPublic ; this . reportMissingJavadocCommentsOverriding = false ; this . inlineJsrBytecode = false ; this . docCommentSupport = false ; this . suppressWarnings = true ; this . treatOptionalErrorAsFatal = true ; this . performMethodsFullRecovery = true ; this . performStatementsRecovery = true ; this . storeAnnotations = false ; this . generateClassFiles = true ; this . processAnnotations = false ; <START_BUG> this . reportMissingOverrideAnnotationForInterfaceMethodImplementation = false ; <END_BUG> this . reportDeadCodeInTrivialIfStatement = false ; } public void set ( Map optionsMap ) { } public String toString ( ) { } protected void updateSeverity ( int irritant , Object severityString ) { } }

Fix:
this . reportMissingOverrideAnnotationForInterfaceMethodImplementation = true ;