[Fwd: [patch] merge from java-gui-branch]

[graydon hoare]

reposting; this seemed to get lost in the ether this afternoon.

-graydon
-------------- next part --------------
An embedded message was scrubbed...
From: graydon hoare <graydon@redhat.com>
Subject: [patch] merge from java-gui-branch
Date: Mon, 12 Apr 2004 15:31:39 -0400
Size: 898
URL: <http://gcc.gnu.org/pipermail/java-patches/attachments/20040413/dbb799c1/attachment.eml>