So far, it is now working properly with this text in the "Execute Shell" field
of the Jenkins project configuration:
/Users/mspielman/projects/helloworldjava/jenkinsme.sh