Thanks Julia! The changes look good to me.
best regards, -- daniel On 05/11/2019 15:38, Julia Boes wrote:
Updated webrev: http://cr.openjdk.java.net/~jboes/webrevs/8232853/webrev.02/index.htmlI filed a separate issue to revisit the cache implementation: https://bugs.openjdk.java.net/browse/JDK-8233589Cheers, Julia