java 8 static analysis type checking java metaprogramming jsr308 checker framework type annotations
See more