@set UPDATED 7 November 2016
@set UPDATED-MONTH November 2016
@set EDITION 0.4.2.git
@set VERSION 0.4.2.git
