69805464_Artho_Software___Jlint_manual__orrespondent_Java_construction
[Instruction type] Label of backward jump [Action] Reset properties of all variables modified between this label and backward jump instructions. Reset for integer variables means setting minimum property to minimum value of correspondent type, ... Reset for object variable clears mark "may contain null".
Start of loop body
Artho Software - Jlint manual
Correspondent Java construction