Update CI Java version #2

	# This is a basic workflow to help you get started with Actions

	name: CI

	# Controls when the workflow will run
	on: [push, pull_request]

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "build"
	build-and-test:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest
	defaults:
	run:
	working-directory: checker-framework-jspecify-conformance
	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- name: Check out CF JSpecify Conformance Tests
	uses: actions/checkout@v4
	with:
	path: checker-framework-jspecify-conformance
	- name: Check out Checker Framework
	uses: actions/checkout@v4
	with:
	repository: eisop/checker-framework
	path: checker-framework
	- name: Set up Java
	uses: actions/setup-java@v4
	with:
	distribution: temurin
	java-version: 17
	- name: Set up Gradle
	uses: gradle/gradle-build-action@v3
	- name: Build and Test
	run: ./gradlew assemble runJSpecifyConformanceTests -PcfLocal
	env:
	CHECKERFRAMEWORK: ./checker-framework

Provide feedback