I had a few issues getting Rodin 1.1 to work properly after Updating Ubuntu to 9.10. The main issue is the HTML-Viewer that Eclipse uses. It wraps Firefox/xulrunner in an SWT-Control. Unfortunately, Firefox 3.5 (xulrunner 1.9.1) is incompatible with Eclipse 3.4, on which Rodin is based.
To work around this problem, you need to install xulrunner 1.9.0. I installed it locally at ~/opt/xulrunner-22.214.171.124
Next, you need to edit your rodin.ini (in the Rodin installation directory) and add the following line: