Eclipse has the TPTP plugin - which I never have the patience to install so I haven't tried it - that you might wish to check out. Another tool is jconsole, which lets you visualize what's going on...