2015-05-21 Hristian Kirtchev <kirtchev@adacore.com>