I was sure there was already a bug report for this, but I can't find it...

IDEA sometimes complains that a value "is probably null". This is completely wrong; it "may be null" – just like you don't say that a certain method call "will probably produce NPE", you say that it "may produce NPE". This is a simple fix that I'd love to see in 5.0.1, before I have to tell all my students that "no, IDEA hasn't analyzed your code to determine that this value will most likely be null; it really only means to say that the value might be null".

Issue was resolved