On 05/05/2019 16:18, Xuelei Fan wrote: > All good catches! > > I made the update accordingly. Here is the new webrev: > http://cr.openjdk.java.net/~xuelei/8219991/webrev.03/ This update looks okay to me (an aternative for read is a nested try/finally but what you have is okay). -Alan