Buggy code:
public class QualifiedNameReference extends NameReference { public char [ ] [ ] tokens ; public long [ ] sourcePositions ; public FieldBinding [ ] otherBindings ; public FieldBinding [ ] otherCodegenBindings ; int [ ] otherDepths ; public int indexOfFirstFieldBinding ; SyntheticAccessMethodBinding syntheticWriteAccessor ; SyntheticAccessMethodBinding [ ] syntheticReadAccessors ; protected FieldBinding lastFieldBinding ; public QualifiedNameReference ( char [ ] [ ] sources , long [ ] positions , int sourceStart , int sourceEnd ) { } public FlowInfo analyseAssignment ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo , Assignment assignment , boolean isCompound ) { int otherBindingsCount = ( ( otherBindings ) == null ) ? 0 : otherBindings . length ; boolean needValue = ( otherBindingsCount == 0 ) || ( ! ( this . otherBindings [ 0 ] . isStatic ( ) ) ) ; switch ( ( bits ) & ( ASTNode . RestrictiveFlagMASK ) ) { case FIELD : lastFieldBinding = ( ( FieldBinding ) ( binding ) ) ; if ( needValue ) { manageSyntheticReadAccessIfNecessary ( currentScope , lastFieldBinding , this . actualReceiverType , 0 , flowInfo ) ; } if ( ( ( lastFieldBinding . isBlankFinal ( ) ) && ( ( this . otherBindings ) != null ) ) && ( currentScope . allowBlankFinalFieldAssignment ( lastFieldBinding ) ) ) { if ( ! ( flowInfo . isDefinitelyAssigned ( lastFieldBinding ) ) ) { currentScope . problemReporter ( ) . uninitializedBlankFinalField ( lastFieldBinding , this ) ; } } break ; case LOCAL : LocalVariableBinding localBinding ; if ( ! ( flowInfo . isDefinitelyAssigned ( ( localBinding = ( ( LocalVariableBinding ) ( binding ) ) ) ) ) ) { currentScope . problemReporter ( ) . uninitializedLocalVariable ( localBinding , this ) ; } if ( flowInfo . isReachable ( ) ) { localBinding . useFlag = LocalVariableBinding . USED ; } else if ( ( localBinding . useFlag ) == ( LocalVariableBinding . UNUSED ) ) { localBinding . useFlag = LocalVariableBinding . FAKE_USED ; } } if ( needValue ) { manageEnclosingInstanceAccessIfNecessary ( currentScope , flowInfo ) ; } if ( ( otherBindings ) != null ) { for ( int i = 0 ; i < ( otherBindingsCount - 1 ) ; i ++ ) { lastFieldBinding = otherBindings [ i ] ; needValue = ! ( otherBindings [ ( i + 1 ) ] . isStatic ( ) ) ; if ( needValue ) { manageSyntheticReadAccessIfNecessary ( currentScope , lastFieldBinding , ( i == 0 ? ( ( VariableBinding ) ( binding ) ) . type : otherBindings [ ( i - 1 ) ] . type ) , ( i + 1 ) , flowInfo ) ; } } lastFieldBinding = otherBindings [ ( otherBindingsCount - 1 ) ] ; } if ( isCompound ) { if ( ( ( ( ( binding ) == ( lastFieldBinding ) ) && ( lastFieldBinding . isBlankFinal ( ) ) ) && ( currentScope . allowBlankFinalFieldAssignment ( lastFieldBinding ) ) ) && ( ! ( flowInfo . isDefinitelyAssigned ( lastFieldBinding ) ) ) ) { currentScope . problemReporter ( ) . uninitializedBlankFinalField ( lastFieldBinding , this ) ; } TypeBinding lastReceiverType ; if ( ( lastFieldBinding ) == ( binding ) ) { lastReceiverType = this . actualReceiverType ; } else if ( otherBindingsCount == 1 ) { lastReceiverType = ( ( VariableBinding ) ( this . binding ) ) . type ; } else { lastReceiverType = this . otherBindings [ ( otherBindingsCount - 2 ) ] . type ; } manageSyntheticReadAccessIfNecessary ( currentScope , lastFieldBinding , lastReceiverType , ( ( lastFieldBinding ) == ( binding ) ? 0 : otherBindingsCount ) , flowInfo ) ; } if ( ( assignment . expression ) != null ) { flowInfo = assignment . expression . analyseCode ( currentScope , flowContext , flowInfo ) . unconditionalInits ( ) ; } if ( lastFieldBinding . isFinal ( ) ) { if ( ( ( ( lastFieldBinding . isBlankFinal ( ) ) && ( ! isCompound ) ) && ( currentScope . allowBlankFinalFieldAssignment ( lastFieldBinding ) ) ) && ( ( indexOfFirstFieldBinding ) == 1 ) ) { if ( flowInfo . isPotentiallyAssigned ( lastFieldBinding ) ) { currentScope . problemReporter ( ) . duplicateInitializationOfBlankFinalField ( lastFieldBinding , this ) ; } else { <START_BUG> flowContext . recordSettingFinal ( lastFieldBinding , this ) ; <END_BUG> } flowInfo . markAsDefinitelyAssigned ( lastFieldBinding ) ; } else { currentScope . problemReporter ( ) . cannotAssignToFinalField ( lastFieldBinding , this ) ; if ( currentScope . allowBlankFinalFieldAssignment ( lastFieldBinding ) ) { flowInfo . markAsDefinitelyAssigned ( lastFieldBinding ) ; } } } TypeBinding lastReceiverType ; if ( ( lastFieldBinding ) == ( binding ) ) { lastReceiverType = this . actualReceiverType ; } else if ( otherBindingsCount == 1 ) { lastReceiverType = ( ( VariableBinding ) ( this . binding ) ) . type ; } else { lastReceiverType = this . otherBindings [ ( otherBindingsCount - 2 ) ] . type ; } manageSyntheticWriteAccessIfNecessary ( currentScope , lastFieldBinding , lastReceiverType , flowInfo ) ; return flowInfo ; } public FlowInfo analyseCode ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo ) { } public FlowInfo analyseCode ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo , boolean valueRequired ) { } public TypeBinding checkFieldAccess ( BlockScope scope ) { } public void generateAssignment ( BlockScope currentScope , CodeStream codeStream , Assignment assignment , boolean valueRequired ) { } public void generateCode ( BlockScope currentScope , CodeStream codeStream , boolean valueRequired ) { } public void generateCompoundAssignment ( BlockScope currentScope , CodeStream codeStream , Expression expression , int operator , int assignmentImplicitConversion , boolean valueRequired ) { } public void generatePostIncrement ( BlockScope currentScope , CodeStream codeStream , CompoundAssignment postIncrement , boolean valueRequired ) { } public void generateReadSequence ( BlockScope currentScope , CodeStream codeStream ) { } public void generateReceiver ( CodeStream codeStream ) { }

Fix:
flowContext . recordSettingFinal ( lastFieldBinding , this , flowInfo ) ;