9.2.3. Preferences dialog
+The Jalopy preferences are integrated into the preferences dialog of
+JDeveloper 9i which is reachable through the
+->
+menu.
+Each Jalopy preferences page is added as a subentry to the main Jalopy
+preferences entry.
+
+Jalopy preferences are stored in the $HOME/.jalopy directory.
+This is in contrast to other JDeveloper preferences which are stored within the
+IDE configuration files. It is intentional in order to allow reuse of Jalopy
+preferences between different IDEs. Note that in this release, Jalopy
+preferences are stored whenever the user leaves a page. If the user moves to
+another settings page, all settings are stored to disk even if the user
+chooses to cancel the preferences dialog later on.
+