commit 2e3d4baf04975d4cd8306f6a10090b2089642f06
author Stephan Herrmann <stephan.herrmann@berlin.de> Sat May 03 16:46:47 2014 +0200
committer Stephan Herrmann <stephan.herrmann@berlin.de> Sat May 03 16:56:05 2014 +0200
tree 3e9dced53b715e11c6c4ee75974073b0d388986e
parent 679a469c16a1a7a051ab58f9b7dc49841b68e936

Re-add files needed for interactively creating otre_agent.jar

plugins/org.eclipse.objectteams.otre/MANIFEST.MF

diff --git a/plugins/org.eclipse.objectteams.otre/MANIFEST.MF b/plugins/org.eclipse.objectteams.otre/MANIFEST.MF
new file mode 100644
index 0000000..6948c2a
--- /dev/null
+++ b/plugins/org.eclipse.objectteams.otre/MANIFEST.MF
@@ -0,0 +1,5 @@
+Manifest-Version: 1.0

+Premain-Class: org.eclipse.objectteams.otre.transformer.jplis.otreAgent

+Can-Redefine-Classes: true

+

+

plugins/org.eclipse.objectteams.otre/otre_agent.jardesc

diff --git a/plugins/org.eclipse.objectteams.otre/otre_agent.jardesc b/plugins/org.eclipse.objectteams.otre/otre_agent.jardesc
new file mode 100644
index 0000000..1d909ba
--- /dev/null
+++ b/plugins/org.eclipse.objectteams.otre/otre_agent.jardesc
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="WINDOWS-1252" standalone="no"?>

+<jardesc>

+    <jar path="org.eclipse.objectteams.otdt/lib/otre_agent.jar"/>

+    <options buildIfNeeded="true" compress="true" descriptionLocation="/org.eclipse.objectteams.otre/otre_agent.jardesc" exportErrors="false" exportWarnings="true" includeDirectoryEntries="false" overwrite="false" saveDescription="true" storeRefactorings="false" useSourceFolders="false"/>

+    <storedRefactorings deprecationInfo="true" structuralOnly="false"/>

+    <selectedProjects/>

+    <manifest generateManifest="false" manifestLocation="/org.eclipse.objectteams.otre/MANIFEST.MF" manifestVersion="1.0" reuseManifest="false" saveManifest="false" usesManifest="true">

+        <sealing sealJar="false">

+            <packagesToSeal/>

+            <packagesToUnSeal/>

+        </sealing>

+    </manifest>

+    <selectedElements exportClassFiles="true" exportJavaFiles="false" exportOutputFolder="false">

+        <javaElement handleIdentifier="=org.eclipse.objectteams.otre/src&lt;org.eclipse.objectteams.otre.jplis{otreAgent.java"/>

+    </selectedElements>

+</jardesc>