Re: [isabelle] jEdit problems
On Fri, Jun 26, 2015 at 11:13 AM, Makarius <makarius at sketis.net> wrote:
> On Fri, 26 Jun 2015, Jason Dagit wrote:
> I'm using Isabelle 2015 on OS X 10.10.3 and I'm having a few problems.
> I will pick some items off the list below, although I foresee a rather
> entangled mailing list thread with so many different points under the same
> Subject head line.
> First, if I leave jEdit running then when I come back to my computer I
>> often find jEdit has crashed:
>> Application Specific Information:
>> *** Terminating app due to uncaught exception 'JavaNativeException',
>> reason: 'java.lang.StackOverflowError'
>> terminating with uncaught exception of type JNFException
>> abort() called
> That might be a generic JVM problem due to scarce resources. The defaults
> are made to ensure that the system comes up in most hardware
> configurations, but it is not so much for really big things. On Mac OS X,
> the Isabelle2015.app has an Info.plist with JVMOptions; you can carefully
> edit that to say something like:
> -Xms1024m -Xmx4096m -Xss4m
> These options correspond to the normal java command-line. See the
> standard documentation by Oracle.
Thanks. I've made this change, hopefully it will stop the crashes.
> I upgraded to the latest JRE (1.8), but I think jEdit is still using 1.7?
> We are talking about the Isabelle application here, which runs the jEdit
> text editor as outer shell. Everything is bundled, even the JDK. You
> should not need to change anything there. (It can be done in theory, but
> requires manual tinkering.)
I didn't realize Isabelle bundles the JDK.
This archive was generated by a fusion of
Pipermail (Mailman edition) and