Checker Framework Live Demo: detect NullPointerExceptions at compile time with Java 8 type annotations