> With Java the middle end should never see an uninitialized variable. > Uninitialized variables are precluded by the language definition, or > the bytecode verifier. Then if there's no other way in the language to create an undefined value, Java should certainly use the "undefined" choice, like C.