adding TPTP to JEE config
1 file changed