On 2019-03-29 14:44, Alan Bateman wrote: > On 29/03/2019 13:38, Claes Redestad wrote: >> Hi, >> >> JDK-8214712 accidentally omitted three deprecated Names from being >> properly archived. > > Looks okay. Thanks, Alan! /Claes