Changes

#7 (Feb 19, 2025, 4:11:09 PM)

1. contrib/jenkins.sh: new script — Oliver Smith / detail
2. gradlew: fix "Unrecognized option: --add-opens" — Oliver Smith / detail
3. README: update after setting up gerrit and jenkins — Oliver Smith / detail

#5 (Feb 19, 2025, 12:30:24 PM)

1. contrib/jenkins.sh: new script — Oliver Smith / detail
2. gradlew: fix "Unrecognized option: --add-opens" — Oliver Smith / detail