Hi David, This looks good and trivial. Harold On 7/22/2019 3:21 AM, David Holmes wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8225782 > webrev: http://cr.openjdk.java.net/~dholmes/8225782/webrev/ > > Expired flags are deleted from the table. No documentation updates > needed. > > Thanks, > David