tree 95ebc19e26863cc391ac6638e09c4e57739238fe
parent 3e733eb7bfb6bee725b6332ba683776555a50ecb
author Gary Gregory <garydgregory@gmail.com> 1616010027 -0400
committer Gary Gregory <garydgregory@gmail.com> 1616010027 -0400

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