2015-02-20 Olivier Hainque <hainque@adacore.com>