2014-11-20 Robert Dewar <dewar@adacore.com>