Das Git-Commit-Id-Plugin generiert eine git.properties