minor change to demand points-to interface
[wala.git] / com.ibm.wala.j2ee / plugin.properties
blob1492814fe142d3490f12b9d26a913a1c76f2197a
1 PLUGINNAME=WALA J2EE support\r
2 VENDORNAME=IBM