Small patch to make hecuba run of JDK6