Dear Rodin users and developers,
Java SE 6 is reaching its end of life this month (see http://www.oracle.com/technetwork/java/javase/eol-135779.html).
In other terms, this means that Oracle will no longer provide public security fixes for Java 6. The only way to get any fix will be to purchase a specific support contract with them.
Consequently, I urge you to upgrade your Java installation to Java 7 before the end of this month. For that, just go to the download page for Java SE (http://www.oracle.com/technetwork/java/javase/downloads/index.html), then download and install the appropriate JRE distribution for your computer.
The current Rodin platform is known to work well with Java SE 7. Moreover, the coming release 3.0 of Rodin will only support Java SE 7.