Had this problem with version 5.1 on Ubuntu 14.04. Used the suggested java fix line from the FAQ. Then I could change preferences. A side effect was that I could not longer delete walls. Removed the java line and then I could delete a wall again.