minor change to demand points-to interfacemaster
[wala.git] / com.ibm.wala.j2ee / .settings / 
treecab322698248c334ee40733a7e8e8e6f0854bc97
drwxr-xr-x   ..
-rw-r--r-- 26129 org.eclipse.jdt.core.prefs
-rw-r--r-- 287 org.eclipse.jdt.ui.prefs