143144145146147148149
* * @return a Dictionary that uses this ServerPreferences object as the underlying backing store */ public Dictionary<String, String> wrapAsDictionary() { return new PreferencesDictionary( this ); }
147148149150151152153
145146147148149150151
146147148149150151152
144145146147148149150
131132133134135136137
* * @return a Dictionary that uses this ServerPreferences object as the underlying backing store */ public Dictionary wrapAsDictionary() { return new PreferencesDictionary( this ); }
165166167168169170171