01_disable_ivy.diff
02_use_debian_cup11a.diff
07_javadoc_links.diff
08_remove_javadoc_footer.diff
09_reproducible_javadoc.diff
10_servlet_api_compatibility.diff
