Mutability detector

I thought this might be of interest, given that I know there are plans to make Kannotator handle @Mutable and @Immutable annotations:

It’s a mutability detector for Java.  It doesn’t seem to assign annotations as Kannotator does, rather it verifies mutability assertions in unit tests.  It appears to be under active development, and has been around since 2010.