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