On Sun, 10 Jan 2021 00:10:15 GMT, Weijun Wang <weijun at openjdk.org> wrote: > I would add ".java" to the test name. You can choose whatever you like. Good catch! ------------- PR: https://git.openjdk.java.net/jdk/pull/2011