🚀 go-pugleaf

Hi all,

I am using java.util.prefs.Preferences
In the Windows JVM this is backed by the Win32 Registry.

My problem is that sometimes when I create a node like "12345678" I get a
series of keys in the Win32 registry as follows:

1
12
123
1234
12345
123456
1234567
12345678

All of the keys are at the same level, with the correct parent, and empty.

This problem is intermittent.  My users have seen it happen in Win2000 and
NT4.
It has happened with JRE 1.4.1 and JRE1.4.2.

More info: since it is quite likely that users will be running several
instances of my programs on one machine (ie different JVMs are accessing the
Win32 registry simultaneously), I have coded my calls to
java.util.prefs.Preferences with the sync() method just before reading keys,
and the flush() method just after writing keys.  However, the problem occurs
when only one JVM is operating.


I guess that this is a JRE/Win32 bug, but I would like to know a safe
work-around.  (Is the problem using digits in the key name, or using
flush()/sync()?)

Has anyone else seen a similar bug?
Can anyone confirm that this is a JRE/Win32 bug?
Does anyone know a work around?

Thanks in advance,
Adam.