To clarify this:
eclipse 3.5.1 downloaded directly from www.eclipse.org has this bug.
Solution: Install eclipse 3.5.1-0ubuntu7 (or later) from the Ubuntu archive.
To clarify this:
eclipse 3.5.1 downloaded directly from www.eclipse.org has this bug.
Solution: Install eclipse 3.5.1-0ubuntu7 (or later) from the Ubuntu archive.