David Hovemeyer William Pugh Status report on JSR-305: annotations for software defect detection. 799-800 2007 conf/oopsla/2007c OOPSLA Companion http://doi.acm.org/10.1145/1297846.1297894 db/conf/oopsla/oopsla2007c.html#HovemeyerP07