[gschen] reformat file: spring-servlet.xml.