// modeled on jacks 16.2.7-final-4: A final variable// must be definitely unassigned if it// is to be assigned inside an if (false) block.// if false is no protection for evildoerspublicclassUnderIfFalse{staticintfoo(){return0;}staticfinalintval=foo();publicstaticvoidmain(String[]args){if(false){val=1;}}}