4.0.0 WALA com.ibm.wala 1.3.8 com.ibm.wala.ide.jdt.test eclipse-test-plugin macosx mac os x mac -XstartOnFirstThread linux unix Linux -Xmx800M junit junit 4.10 test