#Generated by Git-Commit-Id-Plugin
git.branch=main
git.build.time=2026-08-28T10\:30\:42Z
git.build.version=2.4.0
git.commit.id.abbrev=9dc112f
git.commit.id.full=9dc112f76306805d8909e0d443b8847962449035
git.commit.message.short=downgrade jython for size reasons...
git.dirty=false
git.total.commit.count=5368