Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / src / edu / tamu / aser / rvtest_simple_tests / ReLock.java

diff --git a/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/ReLock.java b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/ReLock.java
new file mode 100644 (file)
index 0000000..af3f7ae
--- /dev/null
+++ b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/ReLock.java
@@ -0,0 +1,8 @@
+package edu.tamu.aser.rvtest_simple_tests;
+
+import java.util.concurrent.locks.Lock;
+import java.util.concurrent.locks.ReentrantLock;
+
+public class ReLock {
+       private final Lock writeLock = new ReentrantLock();
+}