2014-08-01 Robert Dewar <dewar@adacore.com>