Fix-build.xml-for-use-outside-of-starjava.patch
Use-commons-compress-instead-of-apache-ant.patch
Fix-possible-threading-bug-in-PipeReaderThread.patch
