[Edgent-439] enable console port override

add override via system property edgent.console.port
diff --git a/console/server/src/main/java/org/apache/edgent/console/server/HttpServer.java b/console/server/src/main/java/org/apache/edgent/console/server/HttpServer.java
index 302200d..2449b38 100644
--- a/console/server/src/main/java/org/apache/edgent/console/server/HttpServer.java
+++ b/console/server/src/main/java/org/apache/edgent/console/server/HttpServer.java
@@ -19,6 +19,8 @@
 
 package org.apache.edgent.console.server;
 
+import java.io.File;
+
 import org.eclipse.jetty.server.Handler;
 import org.eclipse.jetty.server.Server;
 import org.eclipse.jetty.server.ServerConnector;
@@ -27,8 +29,12 @@
 import org.eclipse.jetty.servlet.ServletContextHandler;
 import org.eclipse.jetty.webapp.WebAppContext;
 
-import java.io.File;
-
+/**
+ * The "Edgent Console".
+ * <p>
+ * The Console's HTTP server starts with a random available port unless
+ * a port is specified via the {@code edgent.console.port} system property. 
+ */
 public class HttpServer {
 
 	/**
@@ -41,8 +47,8 @@
 	 * The static class that creates the singleton HttpServer object.
 	 */
     private static class HttpServerHolder {
-        // use port 0 so we know the server will always start
-        private static final Server JETTYSERVER = new Server(0);
+        // use port 0 if system prop not set, so we know the server will always start
+        private static final Server JETTYSERVER = new Server(Integer.getInteger("edgent.console.port", 0));
         private static final WebAppContext WEBAPP = new WebAppContext();
         private static final HttpServer INSTANCE = new HttpServer();
         private static boolean INITIALIZED = false;
diff --git a/providers/development/src/main/java/org/apache/edgent/providers/development/DevelopmentProvider.java b/providers/development/src/main/java/org/apache/edgent/providers/development/DevelopmentProvider.java
index 67106f6..e84f17b 100644
--- a/providers/development/src/main/java/org/apache/edgent/providers/development/DevelopmentProvider.java
+++ b/providers/development/src/main/java/org/apache/edgent/providers/development/DevelopmentProvider.java
@@ -44,7 +44,11 @@
  * <UL>
  * <LI>
  * starting an embedded web-server providing the Edgent development console
- * that shows live graphs for running applications.
+ * that shows live graphs for running applications.  
+ * The console {@link HttpServer} is registered as a service with
+ * the provider and is accessible via {@link #getServices()}.
+ * The console's HTTP server starts with a random available port unless
+ * a port is specified via the {@code edgent.console.port} system property.
  * </LI>
  * <LI>
  * Creating a metrics registry with metrics registered