[gpderetta]

so does any decent compiler. But to do that in java you first have to prove it is safe, which is hard.