don't try to use debian libraries at the moment
-rw-r--r-- 84 build.number
-rw-r--r-- 20866 build.xml
drwxr-xr-x - debian
-rw-r--r-- 338 jabref
drwxr-xr-x - lib
drwxr-xr-x - src