2015-03-13 Robert Dewar <dewar@adacore.com>