// Use of final to ensure a variable is always assigned a value,
// and is assigned a value once and only once.
final int x;
if ( a > 0 )
   {
   x =14;
   }
else if ( a < 0 )
   {
   x = 0;
   }
else
   {
   x = 7;
   }