2015-01-07 Robert Dewar <dewar@adacore.com>