Source code for a flash talk on Java 8 Type Annotations (JSR-308)