tree d268eb15c75b343492533a2caad0778158b20564
parent 80a0768b055214a415034a82b2585f75a20de155
author Gary Gregory <garydgregory@gmail.com> 1616010115 -0400
committer Gary Gregory <garydgregory@gmail.com> 1616010115 -0400

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