On 12/18/17 12:22 AM, Peter Levart wrote:
I created an enhancement request:
https://bugs.openjdk.java.net/browse/JDK-8193685
Here's also the webrev that goes with it:
http://cr.openjdk.java.net/~plevart/jdk-dev/8193685_ZipInDeFlater_cleanupImprovement/webrev.01/
Since jdk10 stabilization repo has already been forked, this will
probably be destined to JDK 11. Unless you think it should go to JDK
10. In that case I shall ask for permission to push to stabilization
repo. The fix is not critical, but is also a low risk.
