The platform name is tomcat_873.