Email Gateway (Aug 31 2021 at 11:59): Email Gateway (Aug 31 2021 at 11:59):From: Thomas Sewell <tals4@cam.ac.uk>
Today I tried to launch Isabelle/jEdit and encountered some kind of
fundamental issue
with loading of Java classes. This seems to apply to multiple versions
of Isabelle,
including 2020 and 2021 instances. This is very strange, because I think
they're using
different jdk and jedit components, and they worked in the past.
The build processes still seem to work fine, but attempting to start the
jedit process
results in heaps of errors (though the editor itself starts up). I
attach the errors
that ended up on the command line.
This is on Ubuntu 20.04.3 LTS. Could some kind of update there be
relevant?
Curiously, the development snapshot I built last week is still working
fine.
I tried deleting and reinstalling some components from my contrib
directories, etc.
This did not result in any apparent change. I'm not sure what else to do
to debug the
situation. Has anyone else experienced anything similar? Is there
something else I
should be trying or investigating?
Thanks in advance,
Thomas.
components-2020
components-2021
errors-2020
errors-2021
Email Gateway (Aug 31 2021 at 14:05):From: Makarius <makarius@sketis.net>
It seems like you are reusing the same JEDIT_SETTINGS directory for all these
different versions (which is at your own risk and not officially supported).
The relevant error is this:
The errors show a conflict of a new Isabelle/jEdit pluging
12:42:05 [main] [error] PluginJAR: Error while starting plugin
isabelle.jedit_base.Plugin
12:42:05 [main] [error] PluginJAR: java.lang.NoClassDefFoundError:
isabelle/jedit/Base_Plugin
The corresponding jar file is:
/home/tsewell/.isabelle/jedit/jars/isabelle_jedit_base.jar
But this plugin jar belongs to recent isabelle-dev versions, e.g.
https://isabelle-dev.sketis.net/rISABELLEfc363a3b690a --- this changes the
overall directory, component, and plugin arrangement for Isabelle/jEdit
By removing some files from $JEDIT_SETTINGS it should work again for the
official Isabelle releases:
jars/isabelle_jedit_base.jar
jars/isabelle_jedit_main.jar
jars-cache/
Maybe some more ...
Makarius
Email Gateway (Aug 31 2021 at 15:59):From: Thomas Sewell <tals4@cam.ac.uk>
Thanks, that clears up what the problem is.
I seem to be able to (crudely) switch versions by clearing some of those
jars,
and I take it I can make things work consistently by setting up
JEDIT_SETTINGS
to be unique per Isabelle instance on my machine. I dimly recall a
similar issue with PolyML heaps in the past.
I'll just say that this doesn't seem ideal. If I've somehow entered an
officially
unsupported non-default configuration, I ought to at least be aware I've
done that.
I've never heard of JEDIT_SETTINGS, or set it, and there's barely any
information
about it anywhere I can find. Maybe this could be improved?
Best regards,
Thomas.
Email Gateway (Sep 01 2021 at 08:39):From: Stepan Holub <holub@karlin.mff.cuni.cz>
A user to user point of view:
JEDIT_SETTINGS is a shortcut for the directory where your, well, jEdit
settings are present. (It can be found using the super useful and
probably underestimated File/Open/Favorites in jEdit).
When I installed Isabelle2020 and Isabelle2021 those directories
(Windows) are, respectively,
C:\Users\StepanHolub\.isabelle\Isabelle2020\jedit
and
C:\Users\StepanHolub\.isabelle\Isabelle2021\jedit
Your folders seem to coincide. I do not know what you did to achieve
that, but it does not seem to be standard.
Best
Stepan
Last updated: Apr 18 2024 at 16:19 UTC