[isabelle] "bad Java executable" for jedit

       I am a new user. I installed isabelle on an Ubuntu system which
runs with the proof general interface. I also installed jedit and the
two required plugins, which by itself runs. But when I try to launch
Isabelle with jedit, I get a response saying  "bad Java executable"
pointing to a file in the isabelle distribution.
       I could not find configuration instructions anywhere. Could someone help?

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.