IDEA-71737 URL of Mirror in Maven settings.xml is Not Clickable

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();
+}

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();
+}

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();
 }