Eclipse TPTP

Profile tool from eclipse
it only supports helios, it only supports java 1.6. ( because it detects java 1.7 as java 1.5)

download here

http://www.eclipse.org/downloads/packages/release/helios/sr2

update site

http://download.eclipse.org/tptp/updates zip package

http://www.eclipse.org/tptp/home/downloads/

the sdk package works

Section heading
Write the second section of your page here.