Moving jre6 aside to replace with jre 7 for Windows 32 bit (win, lin32 and lin64 bit versions are all now 1.7.0_72)