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