public static void write(Element root, String name, Color value) {
    if (value != null) {
      JdomKt.addOptionTag(root, name, Integer.toString(value.getRGB() & 0xFFFFFF, 16), "setting");
    }
  }
public static void write(Element root, String name, Color value)