1
diff --git a/build.properties b/build.properties
2
index 4641708..530a635 100644
5
@@ -8,11 +8,10 @@ eclipse.dir=/opt/eclipse
8
examples.functionalconditiontest.dir=examples/functionalconditiontest/src
10
+lib.dir=/usr/share/java
16
# Directories for generated output
18
diff --git a/build.xml b/build.xml
19
index 2a19d41..5120052 100644
26
- <fileset dir="${lib.dir}">
27
- <include name="**/*.jar" />
29
- <fileset dir="${jetty.dir}">
30
- <include name="lib/servlet-api*.jar" />
32
+ <fileset dir="/" includesfile="debian/classpath-debian"/>
35
<path id="cobertura.classpath">