Fix issue #31 - Update GitHub workflow to use Java 19 #32

Closed mnriem closed 1 year ago