diff -r 2d2b2be57c78 -r 22e417cdddee make/build.xml --- a/make/build.xml Thu Jan 17 18:15:20 2013 +0000 +++ b/make/build.xml Fri Jan 18 00:16:21 2013 +0100 @@ -241,15 +241,15 @@ - + @@ -656,6 +656,40 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + +