Release Notes › New and Changed Features in r12.5.07
This section contains the following topics:
Upgraded Support for Tomcat 7.0.40
Utility to Change the Hostname and IP Address of a Server
