Fix-build.xml-for-use-outside-of-starjava.patch
Use-commons-compress-instead-of-apache-ant.patch
