2015-05-12 Robert Dewar <dewar@adacore.com>