avoid an ICE seen in the logs while working on jdt.nullity
1 file changed