Update patch 03_external_apps.
-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