hg: jdk/jdk: 8243254: Examine ZipFile slash optimization for non-ASCII compatible charsets

[claes.redestad at oracle.com]

Changeset: 57f69c2d0081
Author:    redestad
Date:      2020-04-22 21:13 +0200
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/57f69c2d0081

8243254: Examine ZipFile slash optimization for non-ASCII compatible charsets
Reviewed-by: lancea, naoto, martin

! src/java.base/share/classes/java/util/zip/ZipCoder.java
! src/java.base/share/classes/java/util/zip/ZipFile.java
+ test/jdk/java/util/zip/ZipFile/TestZipFileEncodings.java