Sable/soot — pull request #249 by martinschaef (2014-08-28 03:31:21+00:00)
Title: Update NullnessAnalysis.java

CaughtExceptionRefs are also always NonNull, right?