Hi, I have jEdit (ver 4.2pre15) configured to use

C:\jdk1.5.0\bin\javac

for compiling, but I see no place where I can tell it to execute with

C:\jdk1.5.0\bin\java

unless I hand type it all out in the console plugin. It seems to default to
my prior 1.4.1 jre installation's java.exe (not my prior jedit
installation, since I've never installed it before):

C:\Programs\jdk1.4.1_02\bin\java

When I ask the console plugin for what the current path is, I get this
prepended to the path:

C:\Programs\jdk1.4.1_02\bin;

(...) And this is not showing up in my user path verified both through a
"dos window" and from the control panel->System->Advanced->environment
variables. I'm on windows XP pro.

BTW, there is no such option Start->Programs->jEdit->setjEditParameters. The only two programs
there are

jEdit
and
Uninstall jEdit

And I can find no similar option anywhere within jEdit itself.

What's going on? How do I execute on jdk1.5.0 by default?