edit service config python script to migrate from tomcat6 to tomcat7