New upstream release (closes: #448917, #448027).
-rw-r--r-- 83 build.number
-rw-r--r-- 21125 build.xml
-rw-r--r-- 2466 changelog_highlights.txt
drwxr-xr-x - debian
-rw-r--r-- 338 jabref
drwxr-xr-x - lib
drwxr-xr-x - src