Como editar el server de opera mini

Hola amigos ando buscando la forma de editar la direccion donde se conecta opera mini
ej:server40.operamini:80
lo unico q quiero es modificarlo pero no lo encuentro en la aplicacion ya q lei q lo podia editar en win war pero no lo e encontrado
en la carpeta meta inf hay algo parecido pero es el link para actualizar....gracias