git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/importfromcvs/trunk@12018 936e1b1b-40f2-da11-902a-00137254ae57