workaround_typing_bug.diff
manifest_jar.diff
java7-ignore-test.patch
