From 040adb1f874a170a069ece43b184e8ab2a8024ba Mon Sep 17 00:00:00 2001
From: Sergey Evdokimov <sergey.evdokimov@jetbrains.com>
Date: Thu, 15 Nov 2012 13:23:28 +0400
Subject: [PATCH] IDEA-71737 URL of Mirror in Maven settings.xml is Not
 Clickable

---
 .../idea/maven/dom/model/MavenDomMirror.java     | 16 ++++++++++++++++
 .../idea/maven/dom/model/MavenDomMirrors.java    | 14 ++++++++++++++
 .../maven/dom/model/MavenDomSettingsModel.java   |  3 +++
 3 files changed, 33 insertions(+)
 create mode 100644 plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomMirror.java
 create mode 100644 plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomMirrors.java

diff --git a/plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomMirror.java b/plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomMirror.java
new file mode 100644
index 000000000000..94ffcf5f86df
--- /dev/null
+++ b/plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomMirror.java
@@ -0,0 +1,16 @@
+package org.jetbrains.idea.maven.dom.model;
+
+import com.intellij.util.xml.Convert;
+import com.intellij.util.xml.GenericDomValue;
+import org.jetbrains.annotations.NotNull;
+import org.jetbrains.idea.maven.dom.MavenDomElement;
+import org.jetbrains.idea.maven.dom.converters.repositories.MavenRepositoryConverter;
+
+/**
+ * @author Sergey Evdokimov
+ */
+public interface MavenDomMirror extends MavenDomElement {
+  @NotNull
+  @Convert(MavenRepositoryConverter.Url.class)
+  GenericDomValue<String> getUrl();
+}
diff --git a/plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomMirrors.java b/plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomMirrors.java
new file mode 100644
index 000000000000..73f68c30d3a3
--- /dev/null
+++ b/plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomMirrors.java
@@ -0,0 +1,14 @@
+package org.jetbrains.idea.maven.dom.model;
+
+import org.jetbrains.annotations.NotNull;
+import org.jetbrains.idea.maven.dom.MavenDomElement;
+
+import java.util.List;
+
+/**
+ * @author Sergey Evdokimov
+ */
+public interface MavenDomMirrors extends MavenDomElement {
+  @NotNull
+  List<MavenDomMirror> getMirrors();
+}
diff --git a/plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomSettingsModel.java b/plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomSettingsModel.java
index e49073d75d80..8567ea1882b5 100644
--- a/plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomSettingsModel.java
+++ b/plugins/maven/src/main/java/org/jetbrains/idea/maven/dom/model/MavenDomSettingsModel.java
@@ -21,4 +21,7 @@ import org.jetbrains.idea.maven.dom.MavenDomElement;
 public interface MavenDomSettingsModel extends MavenDomElement {
   @NotNull
   MavenDomProfiles getProfiles();
+
+  @NotNull
+  MavenDomMirrors getMirrors();
 }