use_debian_packaged_jars.patch
ignore_appbundler.patch
ignore_rdcvis.jar.patch
using_free_iconset.patch
no_extratools_doc.patch
target_source_level.patch
