------- Comment #3 from tromey at gcc dot gnu dot org 2007-07-24 14:36 ------- FYI -- please submit patches to the java-patches mailing list. Thanks. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32846