tree 3c0fc8b85422261d8147153a46f9ec6e6bd2a81c
parent ed1019cd20377413b39078c696394ba1656eddf2
author Gary Gregory <garydgregory@gmail.com> 1632841713 -0400
committer Gary Gregory <garydgregory@gmail.com> 1632841713 -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).