@@ -238,8 +238,14 @@ any resulting litigation.
238238 <import plugin =" org.eclipse.jdt.ui" />
239239 <import plugin =" org.eclipse.jface" version =" 3.11.0" match =" greaterOrEqual" />
240240 <import plugin =" com.google.guava" />
241+ <import plugin =" com.ibm.wala.ide" version =" 1.3.10" match =" equivalent" />
242+ <import plugin =" com.ibm.wala.ide.jdt" version =" 1.3.10" match =" equivalent" />
243+ <import plugin =" com.ibm.wala.core" version =" 1.3.10" match =" equivalent" />
244+ <import plugin =" com.ibm.wala.cast.java" version =" 1.3.10" match =" equivalent" />
245+ <import plugin =" com.ibm.wala.shrike" version =" 1.3.10" match =" equivalent" />
241246 <import plugin =" com.ibm.safe.core" version =" 1.0.0" match =" greaterOrEqual" />
242247 <import plugin =" com.ibm.safe.typestate" version =" 1.0.0" match =" greaterOrEqual" />
248+ <import plugin =" org.eclipse.jdt.launching" />
243249 <import plugin =" com.ibm.safe" />
244250 <import plugin =" org.eclipse.core.resources" />
245251 <import plugin =" org.eclipse.core.runtime" />
@@ -253,12 +259,6 @@ any resulting litigation.
253259 <import plugin =" org.eclipse.ltk.ui.refactoring" />
254260 <import plugin =" edu.cuny.hunter.streamrefactoring.core" version =" 1.0.0" match =" greaterOrEqual" />
255261 <import plugin =" edu.cuny.citytech.refactoring.common.ui" version =" 1.1.0" match =" greaterOrEqual" />
256- <import plugin =" com.ibm.wala.ide" version =" 1.3.10" match =" perfect" />
257- <import plugin =" com.ibm.wala.ide.jdt" version =" 1.3.10" match =" perfect" />
258- <import plugin =" com.ibm.wala.core" version =" 1.3.10" match =" perfect" />
259- <import plugin =" com.ibm.wala.cast.java" version =" 1.3.10" match =" perfect" />
260- <import plugin =" com.ibm.wala.shrike" version =" 1.3.10" match =" perfect" />
261- <import plugin =" org.eclipse.jdt.launching" />
262262 </requires >
263263
264264 <plugin
0 commit comments