We no longer depend on 64-bit Java; 32-bit is OK on Windows and Linux.