Buggy code:
public class MethodVerifier implements TagBits , TypeConstants { SourceTypeBinding type ; HashtableOfObject inheritedMethods ; HashtableOfObject currentMethods ; ReferenceBinding runtimeException ; ReferenceBinding errorException ; LookupEnvironment environment ; MethodVerifier ( LookupEnvironment environment ) { } boolean areMethodsEqual ( MethodBinding one , MethodBinding two ) { } boolean areParametersEqual ( MethodBinding one , MethodBinding two ) { } boolean areReturnTypesEqual ( MethodBinding one , MethodBinding two ) { } boolean areTypesEqual ( TypeBinding one , TypeBinding two ) { } void checkAbstractMethod ( MethodBinding abstractMethod ) { } void checkAgainstInheritedMethods ( MethodBinding currentMethod , MethodBinding [ ] methods , int length ) { boolean isAnnotationMember = this . type . isAnnotationType ( ) ; nextMethod : for ( int i = length ; ( -- i ) >= 0 ; ) { MethodBinding inheritedMethod = methods [ i ] ; if ( ( currentMethod . isStatic ( ) ) != ( inheritedMethod . isStatic ( ) ) ) { problemReporter ( currentMethod ) . staticAndInstanceConflict ( currentMethod , inheritedMethod ) ; continue nextMethod ; } if ( ( ! ( currentMethod . isAbstract ( ) ) ) && ( inheritedMethod . isAbstract ( ) ) ) { if ( ( ( currentMethod . modifiers ) & ( CompilerModifiers . AccOverriding ) ) == 0 ) currentMethod . modifiers |= CompilerModifiers . AccImplementing ; } else { currentMethod . modifiers |= CompilerModifiers . AccOverriding ; } if ( isAnnotationMember ) { problemReporter ( ) . annotationCannotOverrideMethod ( currentMethod , inheritedMethod ) ; <START_BUG> continue nextMethod ; <END_BUG> } if ( ! ( areReturnTypesEqual ( currentMethod , inheritedMethod ) ) ) { problemReporter ( currentMethod ) . incompatibleReturnType ( currentMethod , inheritedMethod ) ; } else { if ( ( currentMethod . thrownExceptions ) != ( NoExceptions ) ) checkExceptions ( currentMethod , inheritedMethod ) ; if ( inheritedMethod . isFinal ( ) ) problemReporter ( currentMethod ) . finalMethodCannotBeOverridden ( currentMethod , inheritedMethod ) ; if ( ! ( isAsVisible ( currentMethod , inheritedMethod ) ) ) problemReporter ( currentMethod ) . visibilityConflict ( currentMethod , inheritedMethod ) ; if ( ( environment . options . reportDeprecationWhenOverridingDeprecatedMethod ) && ( inheritedMethod . isViewedAsDeprecated ( ) ) ) { if ( ( ! ( currentMethod . isViewedAsDeprecated ( ) ) ) || ( environment . options . reportDeprecationInsideDeprecatedCode ) ) { ReferenceBinding declaringClass = inheritedMethod . declaringClass ; if ( declaringClass . isInterface ( ) ) for ( int j = length ; ( -- j ) >= 0 ; ) if ( ( i != j ) && ( methods [ j ] . declaringClass . implementsInterface ( declaringClass , false ) ) ) continue nextMethod ; problemReporter ( currentMethod ) . overridesDeprecatedMethod ( currentMethod , inheritedMethod ) ; } } checkForBridgeMethod ( currentMethod , inheritedMethod ) ; } } } void checkExceptions ( MethodBinding newMethod , MethodBinding inheritedMethod ) { } void checkForBridgeMethod ( MethodBinding currentMethod , MethodBinding inheritedMethod ) { } void checkInheritedMethods ( MethodBinding [ ] methods , int length ) { } void checkMethods ( ) { } void checkPackagePrivateAbstractMethod ( MethodBinding abstractMethod ) { } void computeInheritedMethods ( ) { } void computeMethods ( ) { } MethodBinding computeSubstituteMethod ( MethodBinding inheritedMethod , MethodBinding currentMethod ) { } public boolean doesMethodOverride ( MethodBinding method , MethodBinding inheritedMethod ) { } ReferenceBinding errorException ( ) { } boolean isAsVisible ( MethodBinding newMethod , MethodBinding inheritedMethod ) { } boolean isInterfaceMethodImplemented ( MethodBinding inheritedMethod , MethodBinding existingMethod , ReferenceBinding superType ) { } boolean isSameClassOrSubclassOf ( ReferenceBinding testClass , ReferenceBinding superclass ) { } boolean mustImplementAbstractMethod ( ReferenceBinding declaringClass ) { } ProblemReporter problemReporter ( ) { } ProblemReporter problemReporter ( MethodBinding currentMethod ) { } ReferenceBinding [ ] resolvedExceptionTypesFor ( MethodBinding method ) { } ReferenceBinding runtimeException ( ) { } void verify ( SourceTypeBinding someType ) { } public String toString ( ) { } }

Fix:
return ;