tree aa268cd5bdd97fc09ad96a1ea812f7d77abf1b13
parent 98d06d37bc7058bbfb2704c9620669c66e279f4a
author Gary Gregory <garydgregory@gmail.com> 1616010082 -0400
committer Gary Gregory <garydgregory@gmail.com> 1616010082 -0400

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