This is the mail archive of the
java-prs@gcc.gnu.org
mailing list for the Java project.
[Bug classpath/19613] java.util.prefs should work like the JDK
- From: "tromey at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: java-prs at gcc dot gnu dot org
- Date: 1 Mar 2006 17:13:12 -0000
- Subject: [Bug classpath/19613] java.util.prefs should work like the JDK
- References: <bug-19613-360@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla 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