Globally replace "http:" by "https:" in non-XML files

Maybe, the XML files and Maven wrapper files will follow. First, let us
find out if this breaks the build, maybe some tests are asserting on
"http:". But there, the replacement would also have taken place, so
probably it just works.

Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>

2 files changed, 6 insertions, 6 deletions

diff --git a/tests/multiIncremental/pr290741/base/src/demo/Converter.java b/tests/multiIncremental/pr290741/base/src/demo/Converter.java
index 3eb98695d..229186784 100755
--- a/tests/multiIncremental/pr290741/base/src/demo/Converter.java
+++ b/tests/multiIncremental/pr290741/base/src/demo/Converter.java
@@ -14,7 +14,7 @@ public class Converter {
 	/**
 	 * You may get problems using String.getBytes("UTF-8") on a non UTF-8
 	 * environment. Here is an alternative for it from
-	 * http://mindprod.com/jgloss/encoding.html.
+	 * https://mindprod.com/jgloss/encoding.html.
 	 * 
 	 * @param text
 	 * @return
diff --git a/tests/multiIncremental/pr290741/base/src/demo/ConverterTest.java b/tests/multiIncremental/pr290741/base/src/demo/ConverterTest.java
index b7a4c0093..76f8c8cf8 100755
--- a/tests/multiIncremental/pr290741/base/src/demo/ConverterTest.java
+++ b/tests/multiIncremental/pr290741/base/src/demo/ConverterTest.java
@@ -4,12 +4,12 @@ import java.io.OutputStreamWriter;
 import java.io.UnsupportedEncodingException;
 
 public class ConverterTest {
-	
+
 	/**
 	 * For signature we need an UTF-8 environment - don't ask my why.
-	 * 
+	 *
 	 * @since 29-Jun-06
-	 * @see http://mindprod.com/jgloss/encoding.html
+	 * @see https://mindprod.com/jgloss/encoding.html
 	 */
 /*
 		String encoding = System.getProperty("file.encoding");
@@ -18,11 +18,11 @@ public class ConverterTest {
 		System.out.println("System.out encoding = " + outEncoding);
 	}
 */
-	
+
 	public static void run() throws Exception {
 	/**
 	 * Do we really get the right bytes here if the encoding is wrong?
-	 * @throws UnsupportedEncodingException 
+	 * @throws UnsupportedEncodingException
 	 */
 		//String name = "B\u00f6hm";	// this works
 		String name = "Böhm";