Wed, 06 Feb 2019 11:41:51 +0100
8214206: Fix for JDK-8213419 is broken on 32-bit Reviewed-by: mdoerr, shade