Provides classes for Java Tools user preferences. Preferences is the class saving all the user preferences and its initial value is loaded from jdmdba.ini. PreferencesDlg is the dialog class for user to view or udpate the current setting.