On Sat, 23 Jan 2021 07:55:09 GMT, Alan Bateman <al...@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
