Meanwhile, jedit.exe does not accept the latest Eclipse Temurin. My JRE gets updated by the corporate administrators, they gave me this: openjdk version "11.0.20" 2023-07-18 OpenJDK Runtime Environment Temurin-11.0.20+8 (build 11.0.20+8) OpenJDK 64-Bit Server VM Temurin-11.0.20+8 (build 11.0.20+8, mixed mode) JE 5.6 now tells me it requires a JRE 11 instead of starting up normally.
XML Plugin requires ErrorList > 2.x in Jedit5.5 under JDK 8
Configure JDK used by jedit.exe
In Windows 10: Activate the View (Ansicht) Ribbon On the right hand side, click the Options (Optionen) Icon Click StexBar to make the Stex Toolbar visible
Greetings! HAve you read that nice article already, it's so interesting, please read...
Eclipse Plugin: Internal Error on Java 8