Renaming back to jre_bin_x64, since I'm not sure whether we'll be making a jre_bin for the leopard which is 32 bit but which machines still came with Java.