update for changed jar file name in WALA