Actualizaciones de la documentación

• El título de la Guía de personalización del escritorio de Sun Java System Portal Server 7.1 se ha cambiado a Guía de muestras de desarrollador de Sun Java System Portal Server 7.1.