[Checkers] Release today

[Michael Ernst]

Mahmood-

> I have made a release today that addresses the top critical issues in  
> the TODO list, namely: making 'ant all-tests' for binary release  
> without configuration, including javadocs, and recognizing - 
> Xspacesincomments.

Thanks!

Go ahead and delete from the TODO.txt file all the items that you have
already addressed.  That will help us to keep on top of what remains to be
done.

> While making the release, I realized that the java docs are not  
> formatted well (needs <p> or <br /> here and there), with some broken  
> fragment links to the manual.html.
> 
> I decided to work on addressing code review comments and rewrites.  I  
> will come back to those before the following release.

This is exactly the right approach.  At least the documentation is on the
website, and we can start linking to it from the manual in the future.
Then, we can incrementally improve both.

                     Thanks,

                    -Mike