UPPAAL error - java.io.IOException: Server Connection Lost
<p>I am learning about Formal Verification and I am supposed to use UPPAAL to which I am new. However, every time I start UPPAAL, I am greeted with the following error:</p>

<pre><code> java.io.IOException: Server Connection Lost
</code></pre>

<p>Is there any way to fix this error? I am using Ubuntu 12.04 as my OS on a 64 bit machine. I looked at the following posts, but since I am new to UPPAAL, I am unable to figure out the solution:</p>

<p><a href="http://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=319" rel="nofollow">http://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=319</a></p>

<p><a href="http://www.uppaal.com/index.php?sida=201&amp;rubrik=95" rel="nofollow">http://www.uppaal.com/index.php?sida=201&amp;rubrik=95</a></p>

<p><a href="http://forums.globalscape.com/Topic29575.aspx" rel="nofollow">http://forums.globalscape.com/Topic29575.aspx</a></p>

<p><a href="https://groups.yahoo.com/neo/groups/uppaal/conversations/topics/2587" rel="nofollow">https://groups.yahoo.com/neo/groups/uppaal/conversations/topics/2587</a></p>

<p>Any help would be appreciated in this regard!</p>