2014-10-02 Olivier Hainque <hainque@adacore.com>