bump some internal URLs to https

Author: mtf90

README.md

@@ -81,8 +81,8 @@ For developing the code base of LearnLib it is suggested to use one of the major
 
 ## Documentation
 
-* **Maven Project Site:** [latest release](http://learnlib.github.io/learnlib/maven-site/latest/) | [older versions](http://learnlib.github.io/learnlib/maven-site/)
-* **API Documentation:** [latest release](http://learnlib.github.io/learnlib/maven-site/latest/apidocs/) | [older versions](http://learnlib.github.io/learnlib/maven-site/)
+* **Maven Project Site:** [latest release](https://learnlib.github.io/learnlib/maven-site/latest/) | [older versions](https://learnlib.github.io/learnlib/maven-site/)
+* **API Documentation:** [latest release](https://learnlib.github.io/learnlib/maven-site/latest/apidocs/) | [older versions](https://learnlib.github.io/learnlib/maven-site/)
 
 
 ## Questions?
@@ -98,15 +98,15 @@ If you have any questions regarding the usage of LearnLib or if you want to disc
 
 
 [1]: http://www.apache.org/licenses/LICENSE-2.0
-[2]: http://www.cs.tu-dortmund.de
-[3]: http://www.learnlib.de
+[2]: https://cs.tu-dortmund.de
+[3]: https://learnlib.de
 [4]: https://github.com/misberner
 [5]: https://github.com/fhowar
 [6]: https://github.com/mtf90
 [7]: https://github.com/LearnLib/automatalib
 
-[maven-central]: http://search.maven.org/#search%7Cga%7C1%7Cg%3A%22de.learnlib%22
-[maven-central-distr]: http://search.maven.org/#search%7Cga%7C1%7Cg%3A%22de.learnlib.distribution%22
+[maven-central]: https://search.maven.org/#search%7Cga%7C1%7Cg%3A%22de.learnlib%22
+[maven-central-distr]: https://search.maven.org/#search%7Cga%7C1%7Cg%3A%22de.learnlib.distribution%22
 [intellij]: https://www.jetbrains.com/idea/
 [eclipse]: https://www.eclipse.org/
 [ltsmin]: https://ltsmin.utwente.nl/

pom.xml

@@ -29,7 +29,7 @@ limitations under the License.
 
     <name>LearnLib</name>
     <description>A framework for active automata learning and experimentation</description>
-    <url>http://learnlib.github.io/learnlib/maven-site/${project.version}</url>
+    <url>https://learnlib.github.io/learnlib/maven-site/${project.version}</url>
     <licenses>
         <license>
             <name>Apache License, Version 2.0</name>
@@ -43,7 +43,7 @@ limitations under the License.
             <name>Markus Frohme</name>
             <email>markus.frohme@udo.edu</email>
             <organization>TU Dortmund University, Chair of Programming Systems</organization>
-            <organizationUrl>http://ls5-www.cs.tu-dortmund.de/</organizationUrl>
+            <organizationUrl>https://ls5-www.cs.tu-dortmund.de/</organizationUrl>
             <roles>
                 <role>Developer</role>
                 <role>Maintainer</role>
@@ -54,7 +54,7 @@ limitations under the License.
             <name>Falk Howar</name>
             <email>falk.howar@gmail.com</email>
             <organization>TU Dortmund University, Chair of Software Engineering</organization>
-            <organizationUrl>http://ls14-www.cs.tu-dortmund.de/</organizationUrl>
+            <organizationUrl>https://ls14-www.cs.tu-dortmund.de/</organizationUrl>
             <roles>
                 <role>Developer</role>
             </roles>
@@ -259,7 +259,7 @@ limitations under the License.
         <testng.version>7.10.2</testng.version>
 
         <!-- Javadoc links -->
-        <automatalib.apidocs>http://learnlib.github.io/automatalib/maven-site/${automatalib.version}/apidocs/</automatalib.apidocs>
+        <automatalib.apidocs>https://learnlib.github.io/automatalib/maven-site/${automatalib.version}/apidocs/</automatalib.apidocs>
         <checkerframework.apidocs>https://checkerframework.org/releases/${checkerframework.version}/api/</checkerframework.apidocs>
     </properties>