Add information about tomcat7 plugin port.