[isabelle] frequent jEdit crash (Mac OS10.8.4; Isabelle 2013)


I am getting a frequent crash of Isabelle/jEdit with the following error

/Contents/Resources/Isabelle2013/lib/Tools/java: line 1: 
  375 Trace/BPT trap: 5       
  "$ISABELLE_JDK_HOME/bin/$PRG" "$@"

Return code: 133

It seems to happen every time a set of theories are loaded. Any hint / suggestion on what's happening?
Could send the larger log if needed.

Many thanks

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.