tree 63a0c77d33e3104d3c7889e7c3e28bf12eff1153
parent 12fa402375a562c8242ddf8af8ed60d556002913
author Gary Gregory <garydgregory@gmail.com> 1632841652 -0400
committer Gary Gregory <garydgregory@gmail.com> 1632841652 -0400

Update GitHub build from Java 16 to 17.

Update GitHub build from Java 17-EA to 18-EA but comment it (not there
yet).