Fix issue 8254: Extensions were incorrectly transferred between Windows client and Linux grid node, because ZipEntry had incorrect name with '\' as separators.

------
Note from Kristian: This patch is is line with section 4.4.17 of the Zip specifications.
Heavens knows what that java.util.Zip designers were doing when they did not build
this into the library.