--- build.xml.orig 2011-05-04 08:30:16.000000000 +0200 +++ build.xml 2011-08-08 00:08:22.000000000 +0200 @@ -372,7 +372,7 @@ - + - @@ -1669,7 +1669,7 @@ - + @@ -1703,7 +1703,7 @@ - + @@ -1726,7 +1726,7 @@ - + @@ -1747,7 +1747,7 @@ - + @@ -2326,5 +2326,23 @@ + + + + + + + + + + + + + + + + + +