Hans,

I would not go that far. I had the problem with Preference also on the installed version but I uninstalle Java and reinstalled the program version 3.4 from a deb file.

Mihai