01_disable_ivy.diff
02_use_debian_cup11a.diff
05_servlet_api_25.diff
07_javadoc_links.diff
08_remove_javadoc_footer.diff
09_reproducible_javadoc.diff
