JavaDoc Configuration

Here is the line you need to get the @require and @ensure tags in JavaDoc.

-author -version -tag require:cm:"Require:" -tag ensure:cm:"Ensure:"