Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / derby-10.3.2.1 / java / engine / state.properties

diff --git a/JMCR-Stable/real-world application/derby-10.3.2.1/java/engine/state.properties b/JMCR-Stable/real-world application/derby-10.3.2.1/java/engine/state.properties
new file mode 100644 (file)
index 0000000..35eb3d9
--- /dev/null
+++ b/JMCR-Stable/real-world application/derby-10.3.2.1/java/engine/state.properties
@@ -0,0 +1,3 @@
+#Generated file - do not modify!\r
+#Wed Nov 28 11:41:51 PST 2007\r
+sanity=false\r