Uses of Class javax.annotation.Detainted (JSR 305: Annotations for Software Defect Detection in Java 0.1-SNAPSHOT API)