Tony: use same version of Selenium and Java as for Windows 7 images.