build.xml-encoding.patch
