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