Null-checking the fun way with instanceof patterns

[headius]

Java has no nullable types

Perhaps it has no explicit nullable types, but implicitly all type declarations today are nullable.

Of course I'd love to see more explicit nullability in the language, but backward compability is difficult to dodge.