make Eclipse understand Samuels null check