Change the Tomcat plugin server configuration element to a property