Hi Giuliano,I haven't seen this, and googling didn't bring up much useful. However, it doesn't sound like anything TLA- or even Eclipse-specific, but rather like a bug in libgdk (the problem is in a native library called from Java). The closest reports that I have been able to find are an old bug report from 2009 (http://ubuntuforums.org/showthread.php?t=1198955 ) and another one from 2011 (http://www.eclipse.org/forums/index.php/m/718958/ ) where people recommend to downgrade the library …Good luck,StephanOn Jun 24, 2013, at 7:32 PM, Giuliano <giul...@xxxxxxx> wrote:Hello,I'm running Ubuntu 12.04 (64 bits) and I get the following segmentation fault when trying to create a TLC model using the TLA Toolbox version 1.4.7:# A fatal error has been detected by the Java Runtime Environment:## SIGSEGV (0xb) at pc=0x00007f835e84cb0c, pid=3888, tid=140202593380096## JRE version: 7.0_25-b15# Java VM: Java HotSpot(TM) 64-Bit Server VM (23.25-b01 mixed mode linux-amd64 compressed oops)# Problematic frame:# C [libgdk-x11-2.0.so.0+0x3cb0c] gdk_window_object_get_type+0x5fc Has anyone an idea to solve this problem?I tried the OpenJDK JVM with no luck (same problem).Thanks,Giuliano--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com .
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at http://groups.google.com/group/tlaplus .
For more options, visit https://groups.google.com/groups/opt_out .