Ok, fix committed (and some small other things). Just triggered a build even in Jenkins and all is good :-) .
If there aren't objections, tomorrow I'll ask to Todd to re-tag and launch scripts for the release (even something to check for svn properties if I remember well ...). Bye
