From 6e60e12aee2dd0f008e08f002b258a636ad3d8f0 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Wed, 4 Sep 2013 18:48:51 +0000
Subject: [PATCH] added description file for building jpgf.jar

---
 src/runtime/java/JPGFJar.jardesc | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 src/runtime/java/JPGFJar.jardesc

diff --git a/src/runtime/java/JPGFJar.jardesc b/src/runtime/java/JPGFJar.jardesc
new file mode 100644
index 000000000..2720a2479
--- /dev/null
+++ b/src/runtime/java/JPGFJar.jardesc
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<jardesc>
+    <jar path="jpgf/Release/jpgf.jar"/>
+    <options buildIfNeeded="true" compress="true" descriptionLocation="/jpgf/JPGFJar.jardesc" exportErrors="true" exportWarnings="true" includeDirectoryEntries="false" overwrite="true" saveDescription="true" storeRefactorings="false" useSourceFolders="false"/>
+    <storedRefactorings deprecationInfo="true" structuralOnly="false"/>
+    <selectedProjects/>
+    <manifest generateManifest="true" manifestLocation="" 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="=jpgf/&lt;org.grammaticalframework.pgf"/>
+    </selectedElements>
+</jardesc>