"Instantiations" text field is hidden
|Status:||New||Start date:||07 Dec 2010|
The default window size of JTorX (on my Linux machine) is in a way that it
exactly fully hides the "Instantiations" text field (see attached screenshot).
One has to increase the screen size to make it visible. This might easily lead
(reported by Lars)