diff --git a/source/web/WEB-INF/web.xml b/source/web/WEB-INF/web.xml index ac39ed85e8..368930fc27 100644 --- a/source/web/WEB-INF/web.xml +++ b/source/web/WEB-INF/web.xml @@ -97,7 +97,9 @@ --> - + + + @@ -417,6 +420,8 @@ + + @@ -512,6 +517,8 @@ CMISTCK --> + +