I have scanned my comments on the Checker Framework. You can find them at: http://people.csail.mit.edu/mernst/tmp/cf-codereview-1.pdf http://people.csail.mit.edu/mernst/tmp/cf-codereview-2.pdf http://people.csail.mit.edu/mernst/tmp/cf-codereview-3.pdf -Mike