minor change to demand points-to interfacemaster
[wala.git] / com.ibm.wala.cast.java.test / .launchConfigurations / 
tree06ab087b0725e59972717e370161210513f676c5
drwxr-xr-x   ..
-rw-r--r-- 462 WALA-CAst-Java-Test-Downloads.launch
-rw-r--r-- 1063 com.ibm.wala.cast.java.test-JUnit.launch