Buggy code:
public class TypeDeclaration extends Statement implements ReferenceContext , ProblemSeverities { public static final char [ ] ANONYMOUS_EMPTY_NAME = new char [ ] { } ; public int modifiers = AccDefault ; public int modifiersSourceStart ; public char [ ] name ; public TypeReference superclass ; public TypeReference [ ] superInterfaces ; public FieldDeclaration [ ] fields ; public AbstractMethodDeclaration [ ] methods ; public TypeDeclaration [ ] memberTypes ; public SourceTypeBinding binding ; public ClassScope scope ; public MethodScope initializerScope ; public MethodScope staticInitializerScope ; public boolean ignoreFurtherInvestigation = false ; public int maxFieldCount ; public int declarationSourceStart ; public int declarationSourceEnd ; public int bodyStart ; public int bodyEnd ; protected boolean hasBeenGenerated = false ; public CompilationResult compilationResult ; private MethodDeclaration [ ] missingAbstractMethods ; public Javadoc javadoc ; public QualifiedAllocationExpression allocation ; public TypeDeclaration enclosingType ; public TypeDeclaration ( CompilationResult compilationResult ) { } public void abort ( int abortLevel , IProblem problem ) { } public final void addClinit ( ) { } public MethodDeclaration addMissingAbstractMethodFor ( MethodBinding methodBinding ) { } public FlowInfo analyseCode ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo ) { } public void analyseCode ( ClassScope enclosingClassScope ) { } public void analyseCode ( ClassScope currentScope , FlowContext flowContext , FlowInfo flowInfo ) { } public void analyseCode ( CompilationUnitScope unitScope ) { } public boolean checkConstructors ( Parser parser ) { } public CompilationResult compilationResult ( ) { } public ConstructorDeclaration createsInternalConstructor ( boolean needExplicitConstructorCall , boolean needToInsert ) { } public MethodBinding createsInternalConstructorWithBinding ( MethodBinding inheritedConstructorBinding ) { } public FieldDeclaration declarationOf ( FieldBinding fieldBinding ) { } public TypeDeclaration declarationOf ( MemberTypeBinding memberTypeBinding ) { } public AbstractMethodDeclaration declarationOf ( MethodBinding methodBinding ) { } public TypeDeclaration declarationOfType ( char [ ] [ ] typeName ) { } public void generateCode ( ClassFile enclosingClassFile ) { } public void generateCode ( BlockScope blockScope , CodeStream codeStream ) { } public void generateCode ( ClassScope classScope , ClassFile enclosingClassFile ) { } public void generateCode ( CompilationUnitScope unitScope ) { } public boolean hasErrors ( ) { } public void internalAnalyseCode ( FlowContext flowContext , FlowInfo flowInfo ) { } public boolean isInterface ( ) { } public void manageEnclosingInstanceAccessIfNecessary ( BlockScope currentScope , FlowInfo flowInfo ) { } public void manageEnclosingInstanceAccessIfNecessary ( ClassScope currentScope , FlowInfo flowInfo ) { } public final boolean needClassInitMethod ( ) { } public void parseMethod ( Parser parser , CompilationUnitDeclaration unit ) { } public StringBuffer print ( int indent , StringBuffer output ) { } public StringBuffer printBody ( int indent , StringBuffer output ) { } public StringBuffer printHeader ( int indent , StringBuffer output ) { } public StringBuffer printStatement ( int tab , StringBuffer output ) { } public void resolve ( ) { if ( ( this . binding ) == null ) { this . ignoreFurtherInvestigation = true ; return ; } try { if ( ( ( this . bits ) & ( UndocumentedEmptyBlockMASK ) ) != 0 ) { <START_BUG> this . scope . problemReporter ( ) . undocumentedEmptyBlock ( ( ( this . bodyStart ) - 1 ) , ( ( this . bodyEnd ) + 1 ) ) ; <END_BUG> } if ( ( this . binding . superclass ) != null ) if ( isTypeUseDeprecated ( this . binding . superclass , this . scope ) ) this . scope . problemReporter ( ) . deprecatedType ( this . binding . superclass , this . superclass ) ; if ( ( this . superInterfaces ) != null ) for ( int i = this . superInterfaces . length ; ( -- i ) >= 0 ; ) if ( ( this . superInterfaces [ i ] . resolvedType ) != null ) if ( isTypeUseDeprecated ( this . superInterfaces [ i ] . resolvedType , this . scope ) ) this . scope . problemReporter ( ) . deprecatedType ( this . superInterfaces [ i ] . resolvedType , this . superInterfaces [ i ] ) ; this . maxFieldCount = 0 ; int lastVisibleFieldID = - 1 ; if ( ( this . fields ) != null ) { for ( int i = 0 , count = this . fields . length ; i < count ; i ++ ) { FieldDeclaration field = this . fields [ i ] ; if ( field . isField ( ) ) { if ( ( field . binding ) == null ) { if ( ( field . initialization ) != null ) field . initialization . resolve ( ( field . isStatic ( ) ? this . staticInitializerScope : this . initializerScope ) ) ; this . ignoreFurtherInvestigation = true ; continue ; } ( this . maxFieldCount ) ++ ; lastVisibleFieldID = field . binding . id ; } else { ( ( Initializer ) ( field ) ) . lastVisibleFieldID = lastVisibleFieldID + 1 ; } field . resolve ( ( field . isStatic ( ) ? this . staticInitializerScope : this . initializerScope ) ) ; } } if ( ( this . memberTypes ) != null ) { for ( int i = 0 , count = this . memberTypes . length ; i < count ; i ++ ) { this . memberTypes [ i ] . resolve ( this . scope ) ; } } int missingAbstractMethodslength = ( ( this . missingAbstractMethods ) == null ) ? 0 : this . missingAbstractMethods . length ; int methodsLength = ( ( this . methods ) == null ) ? 0 : this . methods . length ; if ( ( methodsLength + missingAbstractMethodslength ) > 65535 ) { this . scope . problemReporter ( ) . tooManyMethods ( this ) ; } if ( ( this . methods ) != null ) { for ( int i = 0 , count = this . methods . length ; i < count ;

Fix:
this . scope . problemReporter ( ) . undocumentedEmptyBlock ( ( ( this . bodyStart ) - 1 ) , this . bodyEnd ) ;