Looks OK to me. -- Jon
On 12/19/2018 05:43 AM, Hannes Wallnöfer wrote:
Please review: Bug: https://bugs.openjdk.java.net/browse/JDK-8215291 Webrev: http://cr.openjdk.java.net/~hannesw/8215291/webrev.00/ No test for this functionality, but I’ve tested it manually with multiple sources. Hannes
