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.