ini4j and java.util.prefs.Preferences