patch for PR java/1208, plus other try-finally cleanups

[Per Bothner]

Tom Tromey <tromey@redhat.com> writes:

> However this patch seems to introduce a new failure.

The bytecode looks ok (from a manual inspection), which suggests a
bug in the verifier.  This is the hardest part of the verifier
(dealing with try-finally).  I'm looking at it.

If we optimize "(;}" to "{}" then the bug will presumably go away
but of course we want to fix the verifier bug.
-- 
	--Per Bothner
per@bothner.com   http://www.bothner.com/~per/