Buggy code:
public class BranchLabel extends Label { private int [ ] forwardReferences = new int [ 10 ] ; private int forwardReferenceCount = 0 ; BranchLabel delegate ; public int tagBits ; public static final int WIDE = 1 ; public static final int USED = 2 ; public BranchLabel ( ) { } public BranchLabel ( CodeStream codeStream ) { } void addForwardReference ( int pos ) { } public void becomeDelegateFor ( BranchLabel otherLabel ) { } void branch ( ) { } void branchWide ( ) { } public int forwardReferenceCount ( ) { } public int [ ] forwardReferences ( ) { } public void initialize ( CodeStream stream ) { } public boolean isCaseLabel ( ) { } public boolean isStandardLabel ( ) { } public void place ( ) { if ( DEBUG ) System . out . println ( ( ( ( "\t\t\t\t<place<seq2seq4repair_space>at:<seq2seq4repair_space>" + ( this . codeStream . position ) ) + "<seq2seq4repair_space>-<seq2seq4repair_space>" ) + ( this ) ) ) ; if ( ( this . position ) == ( Label . POS_NOT_SET ) ) { this . position = this . codeStream . position ; this . codeStream . addLabel ( this ) ; int oldPosition = this . position ; boolean isOptimizedBranch = false ; if ( ( this . forwardReferenceCount ) != 0 ) { isOptimizedBranch = ( ( ( this . forwardReferences [ ( ( this . forwardReferenceCount ) - 1 ) ] ) + 2 ) == ( this . position ) ) && ( ( this . codeStream . bCodeStream [ ( ( this . codeStream . classFileOffset ) - 3 ) ] ) == ( Opcodes . OPC_goto ) ) ; if ( isOptimizedBranch ) { if ( ( this . codeStream . lastAbruptCompletion ) == ( this . position ) ) { this . codeStream . lastAbruptCompletion = - 1 ; } this . codeStream . position = this . position -= 3 ; this . codeStream . classFileOffset -= 3 ; ( this . forwardReferenceCount ) -- ; if ( ( this . codeStream . lastEntryPC ) == oldPosition ) { this . codeStream . lastEntryPC = this . position ; } <START_BUG> if ( ( ( this . codeStream . generateAttributes ) & ( ( ClassFileConstants . ATTR_VARS ) | ( ClassFileConstants . ATTR_STACK_MAP ) ) ) != 0 ) { <END_BUG> LocalVariableBinding [ ] locals = this . codeStream . locals ; for ( int i = 0 , max = locals . length ; i < max ; i ++ ) { LocalVariableBinding local = locals [ i ] ; if ( ( local != null ) && ( ( local . initializationCount ) > 0 ) ) { if ( ( local . initializationPCs [ ( ( ( ( local . initializationCount ) - 1 ) << 1 ) + 1 ) ] ) == oldPosition ) { local . initializationPCs [ ( ( ( ( local . initializationCount ) - 1 ) << 1 ) + 1 ) ] = this . position ; } if ( ( local . initializationPCs [ ( ( ( local . initializationCount ) - 1 ) << 1 ) ] ) == oldPosition ) { local . initializationPCs [ ( ( ( local . initializationCount ) - 1 ) << 1 ) ] = this . position ; } } } } if ( ( ( this . codeStream . generateAttributes ) & ( ClassFileConstants . ATTR_LINES ) ) != 0 ) { this . codeStream . removeUnusedPcToSourceMapEntries ( ) ; } } } for ( int i = 0 ; i < ( this . forwardReferenceCount ) ; i ++ ) { this . codeStream . writePosition ( this , this . forwardReferences [ i ] ) ; } if ( isOptimizedBranch ) { this . codeStream . optimizeBranch ( oldPosition , this ) ; } } } public String toString ( ) { } }

Fix:
if ( ( ( this . codeStream . generateAttributes ) & ( ( ( ClassFileConstants . ATTR_VARS ) | ( ClassFileConstants . ATTR_STACK_MAP_TABLE ) ) | ( ClassFileConstants . ATTR_STACK_MAP ) ) ) != 0 ) {