diff --git a/apps/jetty/build.xml b/apps/jetty/build.xml index 614ccd6c2a..7f500eca19 100644 --- a/apps/jetty/build.xml +++ b/apps/jetty/build.xml @@ -438,4 +438,44 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/build.xml b/build.xml index 45be9efba6..6ed2fdd020 100644 --- a/build.xml +++ b/build.xml @@ -963,6 +963,7 @@ + @@ -2016,6 +2017,9 @@ + + + @@ -2025,16 +2029,19 @@ + + + + + + + + + + + + @@ -2113,6 +2134,10 @@ + + + + @@ -2134,6 +2159,11 @@ + + + + +