boolean servletRedirectorDefined = false;
// add the user defined redirectors
for (Iterator i = this.redirectors.iterator(); i.hasNext();)
{
Redirector redirector = (Redirector) i.next();
if (redirector instanceof FilterRedirector)
{
filterRedirectorDefined = true;
}
else if (redirector instanceof JspRedirector)
{
jspRedirectorDefined = true;
}
else if (redirector instanceof ServletRedirector)
{
servletRedirectorDefined = true;
}
redirector.mergeInto(theWebXml);
}
// now add the default redirectors if they haven't been provided by
// the user
if (!filterRedirectorDefined)