tree b1cc32b6334d80c04a3ccdf23c56f344a520da7d
parent bdca7cab9ca8aad97b500ebc7c6b5d812c11dafa
author Gary Gregory <garydgregory@gmail.com> 1616010813 -0400
committer Gary Gregory <garydgregory@gmail.com> 1616010813 -0400

Replace GitHub build for Java 15 with Java 16 and drop Java 16-ea.