A tool used to convert Android trace file to Eclipse TPTP trace file