This makes me nervous: in my experience Java should be shielded from `Nothing` wherever possible.