tree aea651e8012f0883a5c979c3e24260d22ad1e674
parent 26aaab7e1ee89a382b8a33d7f248e5327c703e94
author Gary Gregory <garydgregory@gmail.com> 1616010339 -0400
committer Gary Gregory <garydgregory@gmail.com> 1616010339 -0400

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