Some of my editor settings don't get saved. Each time I start NetBeans 4.0 those
editor settings get reset to defaults.

How I set those settings:
1. When NetBeans 4.0 is running, choose Tools / Options
2. In the dialog, select Editing / Editor Settings / Java Editor from the tree.
3. Modify some settings, e.g. Tab Size, Auto Popup Completion Window, Line
Numbers and Text Limit Character Count.

To notice that they don't get saved, I close NetBeans, start it again and notice
that the modifications I made are lost.

I investigated the issue as much as I could and I notice that in my user folder
there is this folder .netbeans\4.0\config\Editors\text\ where it seems that some
of the settings get saved. Specifically, the files html/properties.xml and
x-java/properties.xml were empty (html and java are probably the only types of
settings I have tried to modify). By empty I mean that their length is 0 bytes.
I tried to delete these empty files, but the result is that when I modify the
settings again, another empty file gets created.

This problem appeared to me after using NetBeans 4.0 for a couple of months. I
don't think I did anything special to trigger this problem (like anything
unusual with installation or settings).

I think this problem should be fixed so that if such files are empty, a valid
and working file should be created to replace the empty file.

As a temporary solution, could somebody please mail me a valid copy of those two
files so I could see if that fixes my problem?

Thanks,
Vesa