Update GitHub build from Java 16 to 17.