On Sat, Nov 8, 2008 at 8:50 AM, Tom Tromey <[EMAIL PROTECTED]> wrote:
> Could you file this in bugzilla? > That way at least it won't get lost. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37983 > Or, send a patch :-) Well, this is what I did to get it to work. $ cat PushbackInputStream.java-deadlock-patch --- PushbackInputStream.java-original 2008-10-31 11:41:41.000000000 -0600 +++ PushbackInputStream.java 2008-10-31 16:24:25.000000000 -0600 @@ -131,7 +131,7 @@ * * @exception IOException If an error occurs. */ - public synchronized void close() throws IOException + public void close() throws IOException { buf = null; super.close(); FWIW & HTH. Robert Dodier
