Please note that the download page for TPTP 4.7.1 had been updated to point
to an updated prerequisite of EMF v2.6.1 (from v2.6.0) since that is the
version currently in Helios SR1. The All-in-one and the Agent Controller
zips are also updated to include this updated EMF version.