+1 -Joe On 8/17/2020 1:01 PM, Vicente Romero wrote: > Please review this very simple fix for [1] at [2]. The fix is a very > simple one liner change, > > Thanks, > Vicente > > [1] https://bugs.openjdk.java.net/browse/JDK-8246804 > [2] http://cr.openjdk.java.net/~vromero/8246804/webrev.00/