tree 68726c92c75eb8ffffb5b1a01322aca8b11e4686
parent fa965065a660c0eada67e34def05a8ba812f0442
author Stephan Herrmann <stephan.herrmann@berlin.de> 1530376265 +0200
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1530377328 +0200

Bug 536408 - NullPointerException, even though null analysis says the
program is OK

Change-Id: I7489447017da787e318a62e50c06f3d02b020edf