use_debian_packaged_jars.patch
do_not_chmod_anything_in_usr_bin.patch
adapt_config.patch
replace_natbib_bst_by_plainnat.patch
remove_BrowserLauncher_reference.patch
