# 01_disable_ivy.diff
# 02_build_with_openjdk.diff
# 07_test_classpath.diff
# 08_source_encoding.diff
# 10_javadoc_tweaks.diff
# 11_disable_git_commit_info.diff
# 12_remove_version_txt.diff
# 13_compile_java9.diff
build.patch
