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-1.9.0.15
Next, you need to edit your rodin.ini (in the Rodin installation directory) and add the following line:
-Dorg.eclipse.swt.browser.XULRunnerPath=~/opt/xulrunner-1.9.0.15
That’s it! This also works for running Eclipse 3.4 (in that case, you have to edit eclipse.ini).
Good luck!