@set UPDATED 9 July 2015
@set UPDATED-MONTH July 2015
@set EDITION 1.5+git20150728
@set VERSION 1.5+git20150728
