Matthew Orzewalla

If it helps at all, I had issues with Java versions newer than version 11 on macOS (see https://sourceforge.net/p/jedit/bugs/4135/ ). I am currently on macOS 26.6.2, jEdit 5.7.0 running the following version of Java: java --version openjdk 11.0.23 2024-04-16 LTS OpenJDK Runtime Environment Corretto-11.0.23.9.1 (build 11.0.23+9-LTS) OpenJDK 64-Bit Server VM Corretto-11.0.23.9.1 (build 11.0.23+9-LTS, mixed mode) This is the Amazon Corretto 11 version of Java, which I believe I am using because it is...

So the issue resides with the macOS java virtual machines. I had two JDK directories within /Library/Java/JavaVirtualMachines, one I installed to run jEdit, zulu-22.jdk (or temurin-22.jre, I tried them both), and one that was recommended by the Mathworks folks for running Matlab, amazon-corretto-11.jdk. If I remove the zulu/temurin directory such that only the amazon-corretto directory resides in the /Library/Java/JavaVirtualMachines, then jEdit hypersearch works as expected. I am not sure what is...

The plot thickens... I open jEdit 5.7 from Terminal using the following command: /usr/bin/java -verbose -jar /Applications/Isabelle2024.app/contrib/jedit-20240425/jedit5.6.0-patched/jedit.jar and observe the anomolous hypersearch behavior. I open Isabelle2024 from Terminal using the following command: /Applications/Isabelle2024.app/contrib/jdk-21.0.3/arm64-darwin/zulu-21.jdk/Contents/Home/bin/java -verbose -jar /Applications/Isabelle2024.app/contrib/jedit-20240425/jedit5.6.0-patched/jedit.jar and...

Thanks Makarius. Given Björn's suggestion for replacing the jedit.jar file within the jEdit 5.7 app directory, I tried copying the Isabelle2024 jedit.jar from /Applications/Isabelle2024.app/contrib/jedit-20240425/jedit5.6.0-patched to /Applications/jEdit.app/Contents/Java, and next tried copying the entire jedit5.6.0-patched directory into the jEdit 5.7 Java directory. In both cases jEdit stalled searching for "the". So presumably the notable difference does not reside within the jEdit JAR file ...

Well that would have been easier. :P Since it was easy enough to do, I tried that method, but got the same result. Searching "death" or "from" works as expected (there are less than 1,000 occurrences), but searching "the" produces unresponsiveness.

Okay. I found some options for starting jEdit 5.6 here: https://apple.stackexchange.com/questions/426713/how-to-help-the-jedit-application-find-java And chose to start jEdit via the terminal using the following command: /usr/bin/java -jar /Applications/jEdit.app/Contents/Java/jedit.jar 2> /dev/null & About jEdit... lists the following: jEdit 5.6.0 server-background mode, using Azul Systems, Inc. Java 22.0.2 For this configuration I do still get a beachball when searching for the word "the" (it lasts...

I am fairly certain the issue existed in jEdit 5.6 for macOS. I just now reinstalled 5.6 to confirm, but am running into the "This application required that Java 11 or later be installed on your computer" issue with a vanilla install. I will need to go find agan the steps needed to get 5.6 pointed to the Java 11 I have installed on the system.

With the release of jEdit 5.7, I tried the process again. i installed jEdit 5.7 on Windows 10 using Temurin 21 (let me know if the details are needed; I am not in front of the Windows machine at the moment), and HyperSearch works as expected for the test file for searching "death", "from", or "the". I tested jEdit 5.7 on an ARM Mac using Temurin 22 (on Windows I did not realize that Temurin 22 was the latest release) and I am still observing a sustained beachball when searching "the". I did try turing...