The value of the @Verifies seems vague to me, how about? should throw ModuleException for an invalid version