Extending java.util.prefs