Update build.xml.in

Fix for encoding errors when building Java source (see f3ee55e)