diff -up freecol/build.xml~ freecol/build.xml --- freecol/build.xml~ 2014-10-22 20:19:45.000000000 +0200 +++ freecol/build.xml 2014-10-22 20:19:55.891317238 +0200 @@ -98,6 +98,7 @@