--- build.xml 2015-02-15 03:12:23.105593326 +0100 +++ build.xml.java8 2015-02-15 03:16:59.857032487 +0100 @@ -694,6 +694,7 @@ +