Bump tomcat.version from 7.0.85 to 7.0.88 (#1052)
Bump tomcat.version from 7.0.85 to 7.0.88 (#1052)

* use tomcat 7.0.88

flamingo-geocms/flamingo,B3Partners/flamingo,flamingo-geocms/flamingo,B3Partners/flamingo,flamingo-geocms/flamingo,B3Partners/flamingo,flamingo-geocms/flamingo,B3Partners/flamingo