PingServlet missing in CMS

The following should be added to the CMS web.xml file

<servlet>
<servlet-name>PingServlet</servlet-name>
<servlet-class>org.hippoecm.repository.PingServlet</servlet-class>
<load-on-startup>2</load-on-startup>
<init-param>
<param-name>repository-address</param-name>
<param-value>vm://</param-value>
</init-param>
</servlet>

<servlet-mapping>
<servlet-name>PingServlet</servlet-name>
<url-pattern>/ping/</url-pattern>
</servlet-mapping>