[Rodin-b-sharp-user] Exit code 13

[murdoch g. <bel...@gm...>]

So I unpacked this package
rodin-2.4-linux.gtk.x86_64.zip
and ran the file ./rodin in this directory

*about_files    configuration  features         notice.html  readme
about.html     dropins        icon.xpm         p2           rodin
artifacts.xml  epl-v10.html   libcairo-swt.so  plugins      rodin.ini
*
I got this error message:

*JVM terminated. Exit code=13
/usr/bin/java
-Xmx512m
-XX:MaxPermSize=128m
-jar
/home/gabbay/Downloads/rodin//plugins/org.eclipse.equinox.launcher_1.2.0.v20110502.jar
-os linux
-ws gtk
-arch x86
-showsplash
-launcher /home/gabbay/Downloads/rodin/rodin
-name Rodin
--launcher.library
/home/gabbay/Downloads/rodin//plugins/org.eclipse.equinox.launcher.gtk.linux.x86_1.1.100.v20110505/eclipse_1407.so
-startup
/home/gabbay/Downloads/rodin//plugins/org.eclipse.equinox.launcher_1.2.0.v20110502.jar
--launcher.overrideVmargs
-exitdata 1e5003f
-vm /usr/bin/java
-vmargs
-Xmx512m
-XX:MaxPermSize=128m
-jar
/home/gabbay/Downloads/rodin//plugins/org.eclipse.equinox.launcher_1.2.0.v20110502.jar


*Any ideas?