ciao, non saprei dipende da che tecnologia stai usando.... alcune tecnologie come servlet permettono di cambiare i nomi da visualizzare.
di server non ne so molto, ma secondo me non è un problema del server dei plugin che usi.
prova a dire cosa usi oltre al server tomcat, vedo se riesco ad aiutarti.