<?xml version="1.0" encoding="UTF-8"?>
<jardesc>
	<jar path="C:/dev/workspaces/general-purpose-navigator/org.eclipse.ui.workbench.navigator/wbnavigator.jar"/>
	<options compress="true"
		descriptionLocation="/org.eclipse.ui.workbench.navigator/scripts/src.jardesc"
		exportErrors="true" exportWarnings="true" logErrors="true"
		logWarnings="true" overwrite="false" saveDescription="true" useSourceFolders="false"/>
	<manifest generateManifest="false"
		manifestLocation="/org.eclipse.ui.workbench.navigator/src/META-INF/MANIFEST.MF"
		manifestVersion="1.0" reuseManifest="false" saveManifest="false" usesManifest="false">
		<sealing sealJar="false"><packagesToSeal/><packagesToUnSeal/></sealing>
	</manifest>
	<selectedElements exportClassFiles="true" exportJavaFiles="false">
		<javaElement handleIdentifier="=org.eclipse.ui.workbench.navigator/src"/>
	</selectedElements>
</jardesc>