2016-06-16 Gary Dismukes <dismukes@adacore.com>