Buggy code:
public final class AST { public static final int JLS2 = 2 ; public static final int JLS3 = 3 ; private BindingResolver resolver = new BindingResolver ( ) ; private NodeEventHandler eventHandler = new NodeEventHandler ( ) ; int apiLevel ; private long modificationCount = 0 ; private long originalModificationCount = 0 ; private int disableEvents = 0 ; private final Object internalASTLock = new Object ( ) ; Scanner scanner ; InternalASTRewrite rewriter ; private int defaultNodeFlag = 0 ; private AST ( int level ) { } public AST ( ) { } public static CompilationUnit convertCompilationUnit ( int level , CompilationUnitDeclaration compilationUnitDeclaration , char [ ] source , Map options , boolean isResolved , WorkingCopyOwner workingCopyOwner , IProgressMonitor monitor ) { ASTConverter converter = new ASTConverter ( options , isResolved , monitor ) ; AST ast = AST . newAST ( level ) ; int savedDefaultNodeFlag = ast . getDefaultNodeFlag ( ) ; ast . setDefaultNodeFlag ( ASTNode . ORIGINAL ) ; <START_BUG> BindingResolver resolver = ( isResolved ) ? new DefaultBindingResolver ( compilationUnitDeclaration . scope , workingCopyOwner ) : new BindingResolver ( ) ; <END_BUG> ast . setBindingResolver ( resolver ) ; converter . setAST ( ast ) ; CompilationUnit unit = converter . convert ( compilationUnitDeclaration , source ) ; unit . setLineEndTable ( compilationUnitDeclaration . compilationResult . lineSeparatorPositions ) ; ast . setDefaultNodeFlag ( savedDefaultNodeFlag ) ; return unit ; } public AST ( Map options ) { } public static AST newAST ( int level ) { } public long modificationCount ( ) { } public int apiLevel ( ) { } void modifying ( ) { } final void disableEvents ( ) { } final void reenableEvents ( ) { } void preRemoveChildEvent ( ASTNode node , ASTNode child , StructuralPropertyDescriptor property ) { } void postRemoveChildEvent ( ASTNode node , ASTNode child , StructuralPropertyDescriptor property ) { } void preReplaceChildEvent ( ASTNode node , ASTNode child , ASTNode newChild , StructuralPropertyDescriptor property ) { } void postReplaceChildEvent ( ASTNode node , ASTNode child , ASTNode newChild , StructuralPropertyDescriptor property ) { } void preAddChildEvent ( ASTNode node , ASTNode child , StructuralPropertyDescriptor property ) { } void postAddChildEvent ( ASTNode node , ASTNode child , StructuralPropertyDescriptor property ) { } void preValueChangeEvent ( ASTNode node , SimplePropertyDescriptor property ) { } void postValueChangeEvent ( ASTNode node , SimplePropertyDescriptor property ) { } void preCloneNodeEvent ( ASTNode node ) { } void postCloneNodeEvent ( ASTNode node , ASTNode clone ) { } public static CompilationUnit parseCompilationUnit ( ICompilationUnit unit , boolean resolveBindings ) { } public static CompilationUnit parseCompilationUnit ( IClassFile classFile , boolean resolveBindings ) { } public static CompilationUnit parseCompilationUnit ( char [ ] source , String unitName , IJavaProject project ) { } public static CompilationUnit parseCompilationUnit ( char [ ] source ) { } BindingResolver getBindingResolver ( ) { } NodeEventHandler getEventHandler ( ) { } void setEventHandler ( NodeEventHandler eventHandler ) { } int getDefaultNodeFlag ( ) { } void setDefaultNodeFlag ( int flag ) { } void setOriginalModificationCount ( long count ) { } public ITypeBinding resolveWellKnownType ( String name ) { } void setBindingResolver ( BindingResolver resolver ) { } void unsupportedIn2 ( ) { } void supportedOnlyIn2 ( ) { } private static final Class [ ] AST_CLASS = new Class [ ] { AST . class } ; private final Object [ ] THIS_AST = new Object [ ] { this } ; public ASTNode createInstance ( Class nodeClass ) { } public ASTNode createInstance ( int nodeType ) { } public SimpleName newSimpleName ( String identifier ) { } public QualifiedName newQualifiedName ( Name qualifier , SimpleName name ) { } public Name newName ( String [ ] identifiers ) { } public SimpleType newSimpleType ( Name typeName ) { } public ArrayType newArrayType ( Type componentType ) { } public ArrayType newArrayType ( Type elementType , int dimensions ) { } public PrimitiveType newPrimitiveType ( PrimitiveType . Code typeCode ) { } public ParameterizedType newParameterizedType ( Type type ) { } public QualifiedType newQualifiedType ( Type qualifier , SimpleName name ) { } public WildcardType newWildcardType ( ) { } public CompilationUnit newCompilationUnit ( ) { } public PackageDeclaration newPackageDeclaration ( ) { } public ImportDeclaration newImportDeclaration ( ) { } public TypeDeclaration newTypeDeclaration ( ) { } public MethodDeclaration newMethodDeclaration ( ) { } public SingleVariableDeclaration newSingleVariableDeclaration ( ) { } public VariableDeclarationFragment newVariableDeclarationFragment ( ) { } public Initializer newInitializer ( ) { } public EnumConstantDeclaration newEnumConstantDeclaration ( ) { } public EnumDeclaration newEnumDeclaration ( ) { } public TypeParameter newTypeParameter ( ) { } public AnnotationTypeDeclaration newAnnotationTypeDeclaration ( ) { } public AnnotationTypeMemberDeclaration newAnnotationTypeMemberDeclaration ( ) { } public Modifier newModifier ( Modifier . ModifierKeyword keyword ) { } public List newModifiers ( int flags ) { } public BlockComment newBlockComment ( ) { } public LineComment newLineComment ( ) { } public Javadoc newJavadoc ( ) { } public TagElement newTagElement ( ) { } public TextElement newTextElement ( ) { } public MemberRef newMemberRef ( ) { } public MethodRef newMethodRef ( ) { } public MethodRefParameter newMethodRefParameter ( ) { } public VariableDeclarationStatement newVariableDeclarationStatement ( VariableDeclarationFragment fragment ) { } public TypeDeclarationStatement newTypeDeclarationStatement ( TypeDeclaration decl ) { } public TypeDeclarationStatement newTypeDeclarationStatement ( AbstractTypeDeclaration decl ) { } public Block newBlock ( ) { } public ContinueStatement newContinueStatement ( ) { } public BreakStatement newBreakStatement ( ) { } public ExpressionStatement newExpressionStatement ( Expression expression ) { } public IfStatement newIfStatement ( ) { } public WhileStatement newWhileStatement ( ) { } public DoStatement newDoStatement ( ) { } public TryStatement newTryStatement ( ) { } public CatchClause newCatchClause ( ) { } public ReturnStatement newReturnStatement ( ) { } public ThrowStatement newThrowStatement ( ) { } public AssertStatement newAssertStatement ( ) { } public EmptyStatement newEmptyStatement ( ) { } public LabeledStatement newLabeledStatement ( ) { }

Fix:
BindingResolver resolver = ( isResolved ) ? new DefaultBindingResolver ( compilationUnitDeclaration . scope , workingCopyOwner , new DefaultBindingResolver . BindingTables ( ) ) : new BindingResolver ( ) ;