Generated by
JDiff

Class org.jhotdraw.util.prefs.PreferencesUtil

Added Methods
void installFramePrefsHandler(Preferences, String, Window, Dimension) Installs a frame preferences handler.