add CheckerFrameworkAnnotationSample.java
.