@set UPDATED 11 July 2011
@set UPDATED-MONTH July 2011
@set EDITION 0.9.13
@set VERSION 0.9.13
