otra forma de crear rest file,, ( siempre me a funcionado sin problemas)
1- tomas el rest R4C001 generico de tu carpeta rest
2- has una copia de este (pegalo en el escritorio por ejemplo) y cambiale el nombre por el rest que necesitas en este caso (R4EC001_CXC1250688_ORANGE_MA.)
3-toma este archivo y copialo denuevo en tu carpeta rest de setool
listo, vuelve a identificar el telefono y veras que identificara tu rest file.. saludos