A Java Preferences API example (Thu, Nov 4, 2004)