Merged in yanniss/doop-nexgen (pull request #35)
Fixes in Wala
WALA: Fix in the handling of array method invocations.
Fixes in Wala
WALA: Fix in the handling of array method invocations.