suppress_build_web_interface.patch
use_debian_packaged_jar.patch
fix_unmappable_characters.patch
lower_case_jar.patch
