Index: trunk/src/org/openstreetmap/josm/data/preferences/NamedColorProperty.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/NamedColorProperty.java	(revision 17118)
+++ trunk/src/org/openstreetmap/josm/data/preferences/NamedColorProperty.java	(revision 17119)
@@ -5,4 +5,6 @@
 import java.util.Arrays;
 import java.util.List;
+
+import javax.swing.UIManager;
 
 import org.openstreetmap.josm.tools.CheckParameterUtil;
@@ -30,4 +32,6 @@
     /**
      * Construct a new {@code NamedColorProperty}.
+     *
+     * The priority for getting the color is: 1. a set property, 2. {@link UIManager#getColor}, 3. the given {@code defaultValue}
      * @param category a category, can be any identifier, but the following values are recognized by
      * the GUI preferences: {@link #COLOR_CATEGORY_GENERAL} and {@link #COLOR_CATEGORY_MAPPAINT}