Menu ▾ ▴

#4111 Configure JDK used by jedit.exe

normal bug
open
nobody
None
5
2021-08-19
2021-04-13
Dietrich Schulten
No

I have to work on a machine with Oracle JDK 8 as system JDK. JEdit 5.6 requires a newer JDK, but jedit.exe seems to rely on the system JDK and cannot be reconfigured to use a different JDK (at least I couldn't find how to do that).
JEdit 5.6 works with OpenJDK, so I could switch to it - but I can't use jedit.exe anymore, e.g. in Open with JEdit.
Can jedit.exe be told which JDK to use, and if not, can that capability be added to jedit.exe?

Related

Bugs: #4111

Discussion

  • will69

    will69 - 2021-08-19

    There is an old Windows launcher (contained in jedit403install.jar) that lets you choose your JRE after installation by calling jedinit.exe or setting paths directly in the registry under HKCU\SOFTWARE\www.jedit.org\jEditLauncher\4.0 . It still works with Windows 10 and Java 16.

     

    • Joe Robertson

      Joe Robertson - 2021-08-19

      Just set an environment for Jedit, then use that to launch jedit.

      by environment I mean a script that defines JAVA_HOME, PATH, etc for the
      jdk you want.

      For building your projects, you can use Ant to load an Env with which to
      build the projects. I've done this before (we needed to build using really
      old jdk, and also to spawn off subprocesses under java.)

      Another thought is that I had a issue with the 'system' jdk under
      windows10, i think i resorted to ripping that out. the default win10 java
      is messed up.

      Regards

      On Thu, Aug 19, 2021 at 4:26 AM will69 via jEdit-devel jedit-devel@lists.sourceforge.net wrote:

      There is an old Windows launcher (contained in jedit403install.jar) that
      lets you choose your JRE after installation by calling jedinit.exe or
      setting paths directly in the registry under HKCU\SOFTWARE\www.jedit.org\jEditLauncher\4.0
      . It still works with Windows 10 and Java 16.

      Status: open
      Group: normal bug
      Created: Tue Apr 13, 2021 09:54 AM UTC by Dietrich Schulten
      Last Updated: Tue Apr 13, 2021 09:54 AM UTC
      Owner: nobody

      I have to work on a machine with Oracle JDK 8 as system JDK. JEdit 5.6
      requires a newer JDK, but jedit.exe seems to rely on the system JDK and
      cannot be reconfigured to use a different JDK (at least I couldn't find how
      to do that).
      JEdit 5.6 works with OpenJDK, so I could switch to it - but I can't use
      jedit.exe anymore, e.g. in Open with JEdit.
      Can jedit.exe be told which JDK to use, and if not, can that capability be
      added to jedit.exe?

      Sent from sourceforge.net because jedit-devel@lists.sourceforge.net is
      subscribed to https://sourceforge.net/p/jedit/bugs/

      To unsubscribe from further messages, a project admin can change settings
      at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a
      mailing list, you can unsubscribe from the mailing list.
      --

      jEdit Developers' List
      jEdit-devel@lists.sourceforge.net
      https://lists.sourceforge.net/lists/listinfo/jedit-devel

       

      Related

      Bugs: #4111

      alternate

Log in to post a comment.