On Sat, 23 Jan 2021 07:55:09 GMT, Alan Bateman <alanb at openjdk.org> wrote: > We should create a separate issue to rename them and get rid of the copying in the make file. I opened https://bugs.openjdk.java.net/browse/JDK-8260406. ------------- PR: https://git.openjdk.java.net/jdk/pull/1611