Update to use latest WALA core, util, shrike. Probably need to use updated versions of other parts of WALA as well.