manifest_jar.diff java7-ignore-test.patch 003_javadoc-fix.patch java8-compatibility.patch