Jerry Kramskoy wrote: >> ...freeing up all monitors acquired during method execution when an > exception goes off. Perhaps the bytecode verifier should insist that all monitor releases be done at the beginning of a finally block. Wouldn't enforcing that rule be enough to guarantee robustness?