Build #248:   Bump tomcat-embed-core in /pippo-server-parent/pippo-tomcat (#580) on branch master over 4 years ago