A very interesting new feature that is not talked about a lot is type annotations, which add pluggable type systems to Java with the Checker framework:

http://docs.oracle.com/javase/tutorial/java/annotations/type...

http://types.cs.washington.edu/jsr308/