Adapt referenced filename in debian/links and debian/install.
-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