workaround_typing_bug.diff
manifest_jar.diff
