An early prototype of an Eclipse plugin for running JSR-308 checkers is available here: http://groups.csail.mit.edu/pag/jsr308/eclipse Instructions for installing and running are available there. /adam