Понятно, никакой Америки это не открывает, и if (s == null) все умеют.
Но если вдуматься - это всё какой-то костыль.
Ну да, в джаве и джвм немного костыльная типизация в целом, но это можно понять и с колокольни language design в 90-х, и с точки зрения попыток сохранить относительную универсальность языка и платформы.