On Fri, 2019-11-29 at 15:08 +0000, Andrew Leonard wrote: > - Make the tool "version" specific,ie. a jdk13 "updater.zip" will only > patch a jdk13 JDK. As part ot the JDK it would make sense for it to be version specific, since each tree (jdk8, jdk11, jdk13, jdk/jdk) would have it. My $0.02 Thanks, Severin