From 94c21ac36eb0f57f60cb4d9a37a041652ab3afe8 Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Mon, 19 Oct 2015 16:33:47 +0200
Subject: [PATCH] Maven https correction

---
 Doc/Sd1/objectsClasses.xml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/Doc/Sd1/objectsClasses.xml b/Doc/Sd1/objectsClasses.xml
index 9c11884c6..ceb993ab2 100644
--- a/Doc/Sd1/objectsClasses.xml
+++ b/Doc/Sd1/objectsClasses.xml
@@ -33,7 +33,7 @@
     <itemizedlist>
       <listitem>
         <para>Configure <link
-        xlink:href="https://maven.mi.hdm-stuttgart.de">https://maven.mi.hdm-stuttgart.de</link>
+        xlink:href="http://maven.mi.hdm-stuttgart.de">http://maven.mi.hdm-stuttgart.de</link>
         in your <xref linkend="glo_Soft_Eclipse"/> <xref linkend="glo_IDE"/>
         at
         <guimenu>Window--&gt;Preferences--&gt;Maven--&gt;Archetypes--&gt;Add
@@ -41,7 +41,10 @@
 
         <caution>
           <para>Click <guibutton>verify</guibutton> to assure correct
-          configuration.</para>
+          configuration. Hint: For unknown reasons <xref linkend="glo_TLS"/>
+          access <uri
+          xlink:href="https://maven.mi.hdm-stuttgart.de">https://maven.mi.hdm-stuttgart.de</uri>
+          does not work with Eclipse.</para>
         </caution>
 
         <mediaobject>
@@ -3698,7 +3701,7 @@ System.out.println(factorial(3));</programlisting>
 
                               <m:mi>:</m:mi>
 
-                              <m:mi> </m:mi>
+                              <m:mi/>
 
                               <m:mrow>
                                 <m:mrow>
-- 
GitLab