diff --git a/apps/desktopgui/build.xml b/apps/desktopgui/build.xml index 808d228f9..ed0af5a16 100644 --- a/apps/desktopgui/build.xml +++ b/apps/desktopgui/build.xml @@ -86,6 +86,8 @@ + + diff --git a/apps/jetty/build.xml b/apps/jetty/build.xml index bb0164312..3e24fad18 100644 --- a/apps/jetty/build.xml +++ b/apps/jetty/build.xml @@ -439,6 +439,7 @@ + diff --git a/build.xml b/build.xml index 16811b20f..6128c78a4 100644 --- a/build.xml +++ b/build.xml @@ -772,6 +772,7 @@ + @@ -787,6 +788,7 @@ + @@ -802,6 +804,7 @@ + @@ -816,6 +819,7 @@ + @@ -830,6 +834,7 @@ + @@ -844,6 +849,7 @@ + @@ -858,6 +864,7 @@ + @@ -872,6 +879,7 @@ + @@ -887,6 +895,7 @@ +