hi @ all, fyi: don't worry about the jenkins build. the build itself isn't broken - just the new version of jenkins has a bug. the jenkins team fixed it and our infrastructure team is aware of it. -> maybe they update jenkins even before the next official release.
if we need a new version for the snapshot repository before the update, i'll deploy it manually. regards, gerhard
