AppleJavaExtensions.patch
MacOSX.patch
jeuclid-cli-name.diff
cast-issue.diff
