wildfly/wildfly — pull request #4791 by darranl (2013-07-16 10:45:14+00:00)
Title: [WFLY-1669] Change the default https port for the http management interfaces to 9993

This is to eliminate offset problems against 8443 which is the long established default for the web container.