Please find below the configuration in my web.xml file
As per the tutorial whenever the request for HelloWorldExample( provided by Tomcat ) is sent the page will be redirected to the
CAS Login page.
If I map the "CAS Filter" using "servlet-name" element "HelloWorldExample" in "filter-mapping" element redirection as mentioned above is working.
In case of using "/*" as the "url-pattern" element the redirection is working.
But in case of "url-pattern" element as "/servlet/*" the page gets redirected to actual JSP page which renders "Hello World".