--- build.xml.orig 2005-05-22 17:13:28.000000000 +0200 +++ build.xml 2005-05-22 17:20:32.000000000 +0200 @@ -83,6 +83,12 @@ + + + + + + @@ -160,7 +166,7 @@ - + @@ -188,12 +194,12 @@ - + - + @@ -205,7 +211,7 @@ - + @@ -223,7 +229,7 @@ - + @@ -265,7 +271,7 @@ - @@ -398,7 +404,7 @@ deprecation="${compile.deprecation}" optimize="${compile.optimize}" > - +