Re: [fedora-java] [Patch] Improving gcj-dbtool performance