Fix-build.xml-for-use-outside-of-starjava.patch
