tree 94907d8aab84313cff2421769cfd36456db9722d
parent 4812db59b077c8baf96acd46d01c566b542b8191
author Gary Gregory <garydgregory@gmail.com> 1616010394 -0400
committer Gary Gregory <garydgregory@gmail.com> 1616010394 -0400

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