diff --git a/build.xml b/build.xml index d2245ec94..8d66fc5ab 100644 --- a/build.xml +++ b/build.xml @@ -3,6 +3,12 @@ + + + + ]> @@ -124,17 +130,17 @@ printed. Please select a target - - - - - - + + + + + + @@ -211,6 +217,20 @@ printed. + + + + + + + + + + + + + @@ -316,36 +336,16 @@ printed. - + - - + failonerror="true"> @@ -357,6 +357,7 @@ printed. + diff --git a/tools/cents/centipede-20020405.cent.jar b/tools/cents/centipede-20020406.cent.jar similarity index 71% rename from tools/cents/centipede-20020405.cent.jar rename to tools/cents/centipede-20020406.cent.jar index c3ed4fca7..05d868a7d 100644 Binary files a/tools/cents/centipede-20020405.cent.jar and b/tools/cents/centipede-20020406.cent.jar differ