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

<?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>