Leveraging JSR-305 null annotations to prevent NullPointerExceptions