2014-10-17 Robert Dewar <dewar@adacore.com>