remove TPTP from JEE
1 file changed