* Change wrapper script, as "-v" acts as expcted (cf. #378189 for details).
-rw-r--r-- 83 build.number
-rw-r--r-- 20615 build.xml
drwxr-xr-x - debian
-rw-r--r-- 54 jabref
drwxr-xr-x - lib
drwxr-xr-x - src