// License: GPL. For details, see LICENSE file.

/**
 * Provides classes for handling plugin preferences.
 */
package org.openstreetmap.josm.gui.preferences.plugin;