Author: Andreas Tille <tille@debian.org>
Last-Update: Tue, 17 Jan 2012 14:33:34 +0100
Description: Use Debian packaged jdom

--- options.orig/build.xml
+++ options/build.xml
@@ -71,4 +71,5 @@
     nbproject/build-impl.xml file. 
 
     -->
+	<property name="javac.classpath" value="/usr/share/java/jdom1.jar"/>
 </project>