@set UPDATED 19 May 2015
@set UPDATED-MONTH May 2015
@set EDITION 0.9.42
@set VERSION 0.9.42
