Re: [Monetdb-developers] Workaround for JDK6 Bug 6795561