Update GitHub workflow to use Java 19 #31

Closed mnriem closed 1 year ago