Fixes Batchlet package#143

ritonglue wants to merge 1 commit intojakartaee:release/9.1jakartaee/jakartaee-tutorial:release/9.1from

ritonglue:release/9.1ritonglue/jakartaee-tutorial:release/9.1Copy head branch name to clipboard