tree 94dafbed742b3538270dd1edb68dd9070f8634e3
parent 5bcf505ccb10790eb8714c660b8165c0229ec10f
author Gary Gregory <garydgregory@gmail.com> 1616010058 -0400
committer Gary Gregory <garydgregory@gmail.com> 1616010058 -0400

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