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