Update GitHub workflow to use Java 18 #29

Closed mnriem closed 1 year ago