Build #247:   Fix wrong exception specification on branch master about 5 years ago