Segmentation fault

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