Fix for 32-bit jvm in pull-tester