Swing components for displaying and editing java.util.Preferences trees.