Transcript TPTP 4.7 Release Review -- One Quick Foil What’s new  Building all plugins with Java 5..  Drastically improve performance of memory.