wb.xml Servlets:: una manera rapida ??

[insane]

Hola a todos.
Mi pregunta es la siguiente.
todos mis servlets o al menos la mayoria tenian su url-patern apuntando a /${nombreDelServer}

ahora en el servidor donde monte mi aplicacion requieren ¬¬ que todos apunten a /servlets/${nombreDelServer} obvio no puedo cambiar todos mis formularios ni links existe alguna manera de hacer este cambio de manera rapida???

muchas gracias.

Código PHP:

   
 
    <servlet>
            <servlet-name>user35</servlet-name>
            <display-name>user35</display-name>
            <servlet-class>xxx.xx.user35</servlet-class>
    </servlet>
 
    <servlet-mapping>
            <servlet-name>user35</servlet-name>
            <url-pattern>/user35</url-pattern>
    </servlet-mapping> 
   

[wwwmaster]

Si tuvieras el proyecto dentro del entorno Websphere Studio Site Developer de IBM con "Buscar y Reemplazar" podrias hacerlo.