I have this dll files as below:
D:\Testing data\TPTP
4.6.0\eclipse\plugins\org.eclipse.tptp.platform.jvmti.runtime_4.5.0.v200906121434\agent_files\win_ia32
Its surprising for me that when i downloaded new tptp 4.6.0 on my laptop,
it's working perfectly fine. But with my computer still i am getting same
errors even if i have downloaded new tptp 4.6.0.