build_figtree_gui_only.patch
ignore_quaqua.patch
remove_webui.patch
fix_classpath_in_build_xml.patch
java7-compat.patch
fix_itext_api_change.patch
