Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.pde.core / .local_targets / 1504040620267.target

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.pde.core/.local_targets/1504040620267.target b/JMCR-Stable/.metadata/.plugins/org.eclipse.pde.core/.local_targets/1504040620267.target
new file mode 100644 (file)
index 0000000..27ac73e
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.pde.core/.local_targets/1504040620267.target
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<?pde version="3.8"?><target name="Running Platform" sequenceNumber="4">
+<locations>
+<location path="${eclipse_home}" type="Profile"/>
+</locations>
+<environment>
+<os>macosx</os>
+<ws>cocoa</ws>
+<arch>x86_64</arch>
+<nl>en_US</nl>
+</environment>
+<launcherArgs>
+<vmArgs>-Dosgi.requiredJavaVersion=1.7 -XstartOnFirstThread -Dorg.eclipse.swt.internal.carbon.smallFonts -XX:MaxPermSize=256m -Xms256m -Xmx1024m -Xdock:icon=../Resources/Eclipse.icns -XstartOnFirstThread -Dorg.eclipse.swt.internal.carbon.smallFonts</vmArgs>
+</launcherArgs>
+</target>