Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / MyDerby-10.3 / lib / META-INF / MANIFEST.MF

diff --git a/JMCR-Stable/real-world application/MyDerby-10.3/lib/META-INF/MANIFEST.MF b/JMCR-Stable/real-world application/MyDerby-10.3/lib/META-INF/MANIFEST.MF
new file mode 100644 (file)
index 0000000..8e0f0a6
--- /dev/null
+++ b/JMCR-Stable/real-world application/MyDerby-10.3/lib/META-INF/MANIFEST.MF
@@ -0,0 +1,4 @@
+Manifest-Version: 1.0\r
+Premain-Class: edu.tamu.aser.rvinstrumentation.RVInstrumentor\r
+Can-Redefine-Classes: true\r
+Can-Retransform-Classes: true\r