4.0.0 WALA com.ibm.wala 1.5.1-SNAPSHOT com.ibm.wala.tests_feature eclipse-feature