Will do on the checkstyle front. Yes, we can get rid of the other app. I left it around so that I could start from a clean slate, and so that I didn't interfere with your work. Shall I delete it now?
http://gwt-code-reviews.appspot.com/209802 -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
