Compilation under Java6.