Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.ltk.core.refactoring / .refactorings / mcr-test / 2018 / 3 / 13 / refactorings.history

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/mcr-test/2018/3/13/refactorings.history b/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/mcr-test/2018/3/13/refactorings.history
new file mode 100644 (file)
index 0000000..80c367b
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/mcr-test/2018/3/13/refactorings.history
@@ -0,0 +1,3 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<session version="1.0">&#x0A;<refactoring comment="Rename type &apos;edu.tamu.aser.rvtest_simple_tests.Example_Reviewer&apos; to &apos;Example_Reviewer_CAV&apos;&#x0A;- Original project: &apos;mcr-test&apos;&#x0A;- Original element: &apos;edu.tamu.aser.rvtest_simple_tests.Example_Reviewer&apos;&#x0A;- Renamed element: &apos;edu.tamu.aser.rvtest_simple_tests.Example_Reviewer_CAV&apos;&#x0A;- Update references to refactored element&#x0A;- Update textual occurrences in comments and strings" description="Rename type &apos;Example_Reviewer&apos;" flags="589830" id="org.eclipse.jdt.ui.rename.type" input="/src&lt;edu.tamu.aser.rvtest_simple_tests{Example_Reviewer.java[Example_Reviewer" matchStrategy="1" name="Example_Reviewer_CAV" qualified="false" references="true" similarDeclarations="false" stamp="1522166520606" textual="false" version="1.0"/>&#x0A;<refactoring comment="Rename type &apos;edu.tamu.aser.rvtest_simple_tests.Example&apos; to &apos;Example_SharedVar&apos;&#x0A;- Original project: &apos;mcr-test&apos;&#x0A;- Original element: &apos;edu.tamu.aser.rvtest_simple_tests.Example&apos;&#x0A;- Renamed element: &apos;edu.tamu.aser.rvtest_simple_tests.Example_SharedVar&apos;&#x0A;- Update references to refactored element&#x0A;- Update textual occurrences in comments and strings" description="Rename type &apos;Example&apos;" flags="589830" id="org.eclipse.jdt.ui.rename.type" input="/src&lt;edu.tamu.aser.rvtest_simple_tests{Example.java[Example" matchStrategy="1" name="Example_SharedVar" qualified="false" references="true" similarDeclarations="false" stamp="1522183690267" textual="false" version="1.0"/>&#x0A;<refactoring comment="Rename type &apos;edu.tamu.aser.rvtest_simple_tests.Example1&apos; to &apos;Example&apos;&#x0A;- Original project: &apos;mcr-test&apos;&#x0A;- Original element: &apos;edu.tamu.aser.rvtest_simple_tests.Example1&apos;&#x0A;- Renamed element: &apos;edu.tamu.aser.rvtest_simple_tests.Example&apos;&#x0A;- Update references to refactored element&#x0A;- Update textual occurrences in comments and strings" description="Rename type &apos;Example1&apos;" flags="589830" id="org.eclipse.jdt.ui.rename.type" input="/src&lt;edu.tamu.aser.rvtest_simple_tests{Example1.java[Example1" matchStrategy="1" name="Example" qualified="false" references="true" similarDeclarations="false" stamp="1522183877702" textual="false" version="1.0"/>
+</session>
\ No newline at end of file