Use https for antlr3.org downloads (#2701)

This commit changes the two www,antlr3.org URL's in contrib/get-antlr-3.4 to use https instead of http, which is more secure.

diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4
index b2b722ebbc2376e10158b68e6c2f796f833c3899..670fc3b41406a33c2c772111c0ac1349cd30093b 100755 (executable)
--- a/contrib/get-antlr-3.4
+++ b/contrib/get-antlr-3.4
@@ -31,8 +31,8 @@ mkdir -p $ANTLR_HOME_DIR/share/java
 mkdir -p $ANTLR_HOME_DIR/bin
 mkdir -p $ANTLR_HOME_DIR/src
 cd $ANTLR_HOME_DIR || exit 1
-webget http://www.antlr3.org/download/antlr-3.4-complete.jar share/java/antlr-3.4-complete.jar 
-webget http://www.antlr3.org/download/C/libantlr3c-3.4.tar.gz src/libantlr3c-3.4.tar.gz
+webget https://www.antlr3.org/download/antlr-3.4-complete.jar share/java/antlr-3.4-complete.jar 
+webget https://www.antlr3.org/download/C/libantlr3c-3.4.tar.gz src/libantlr3c-3.4.tar.gz
 tee bin/antlr3 <<EOF
 #!/bin/bash
 export CLASSPATH=`pwd`/share/java/antlr-3.4-complete.jar:\$CLASSPATH