allow-empty-packages.patch
build.patch
enable-profiles-hack.patch
better-classpath.patch
skip-cpu-dependent-test.patch
javadoc-encoding.patch
repeatable-documentation.patch
powi-bugfix.patch
randomsample-bugfix.patch
