[Soot-list] clara tests looking for soot.DexClassProvider

[Phil Pratt-Szeliga]

Hello,

After applying the previous patch, some clara test cases are failing
with exceptions like:

Running test 710: options/injars/simple/options -injars
Commandline: abc -d options/injars/simple -injars
options/injars/simple/main.jar -warn-unused-advice:off
options/injars/simple/Simple.java
Unexpected exception while compiling:
polyglot.util.InternalCompilerError: unhandled exception during
compilation
polyglot.util.InternalCompilerError: unhandled exception during compilation
	at abc.main.Main.run(Main.java:454)
	at abc.testing.TestCase.runTest(TestCase.java:289)
	at abc.testing.Main.doCase(Main.java:288)
	at abc.testing.Main.main(Main.java:122)
Caused by: java.lang.Error: Tried to load input from DEX but class
soot.DexClassProvider is not present on the classpath. Did you forget
to include the DEX plugin?
	at soot.SourceLocator.dexClassProvider(SourceLocator.java:149)
	at soot.SourceLocator.getClassesUnder(SourceLocator.java:210)
	at abc.main.Main.loadJars(Main.java:678)
	at abc.main.Main.run(Main.java:397)
	... 3 more
Caused by: java.lang.ClassNotFoundException: soot.DexClassProvider
	at java.net.URLClassLoader$1.run(URLClassLoader.java:217)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.net.URLClassLoader.findClass(URLClassLoader.java:205)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:321)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:294)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:266)
	at java.lang.Class.forName0(Native Method)
	at java.lang.Class.forName(Class.java:186)
	at soot.SourceLocator.dexClassProvider(SourceLocator.java:146)
	... 6 more
FAIL: Test 710: "options/injars/simple/options -injars" failed in
312ms, memory usage: 30919752.

Where can I find the DEX plugin?

Thanks,
Phil Pratt-Szeliga
Syracuse University