Sable/soot — pull request #217 by martinschaef (2014-07-06 04:29:55+00:00)
Title: Update AllocNodesFinder.java

line 55 caused ClassCastException. After commenting out line 53 and 55, everything works fine (the lines are dead anyway).