Index: build.xml =================================================================== --- build.xml (revision 7257) +++ build.xml (working copy) @@ -125,7 +125,7 @@ - + @@ -154,7 +154,7 @@ Copying war file ${build}/war/target/${warfile} to ${dist}... - + @@ -181,17 +181,30 @@ - + + + + + + + + - + + + + + - + + +