diff --git a/examples/src/HttpServletExamples/HttpWebPageSource.java b/examples/src/HttpServletExamples/HttpWebPageSource.java
index 5996b569a40c622524d6b0b838096e13289598ca..d97e81ef3eba699d7b58f1fdecdca8b4874c2fc6 100644
--- a/examples/src/HttpServletExamples/HttpWebPageSource.java
+++ b/examples/src/HttpServletExamples/HttpWebPageSource.java
@@ -27,9 +27,12 @@ public class HttpWebPageSource {
            
            // We request an IP to connect to a web server running on default http port 80.
            
-           String WEB_ADDRESS = "www.nps.edu";
-           System.out.println("New socket WEB_ADDRESS=" + WEB_ADDRESS);
-           Socket socket = new Socket(WEB_ADDRESS, 80); // compare alternative: https on port 443
+           String WEB_SERVER_ADDRESS = "www.nps.edu";
+           int WEB_SERVER_PORT_HTTP =80;
+           int WEB_SERVER_PORT_HTTPS =443;
+           System.out.println("New socket WEB_ADDRESS=" + WEB_SERVER_ADDRESS);
+           
+           Socket socket = new Socket(WEB_SERVER_ADDRESS, WEB_SERVER_PORT_HTTPS); // compare alternative: https on port 443
            
            // we send a command to the web server, asking for what
            // we want. Note that the format for the command is very