Eclipse tptp and java 5

[f.l.x]

Anyone has made the eclipse tptp work with a jdk1.5, i have spend all this morning trying to set up tptp and i don't even get the profiling perspective option.

[K.I.L.E.R]

Did you install Callisto?
If you didn't then make sure you've installed all the required libraries for TPTP.

Apart from that make sure you configure TPTP settings in Windows->Preferences.
I have no issues running it on my end.

[kevglass]

Works fine here too.

Kev

Games published by our own members! Check 'em out!

[f.l.x]

Did you install Callisto?

Oh, didn't know about callisto, i'm trying to get tptp from there now thanks.

[f.l.x]

Ok, i tried, but i have had bad luck there is a broken dependece

[K.I.L.E.R]

Delete Eclipse completely.
Reinstall it.
Go to Help->Software updates.
Install EVERYTHING under Callisto.

It WILL work but installation size is huge. Eclipse's 110MB download doesn't even compare.
Also on another note, don't profile JUnit tests, it doesn't work.