[Bug classpath/19613] java.util.prefs should work like the JDK

[tromey at gcc dot gnu dot org]

------- Comment #6 from tromey at gcc dot gnu dot org  2006-03-01 17:13 -------
That format is used for exporting preferences to a file.

It turns out they use a variant of that for writing the
preferences to the preference store.  However, how locking is
handled is undocumented.  So, interoperating looks difficult.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19613