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