[jboss-as7-dev] Port assignments

Hi, came to my mind when changing testsuite's port config: 1) Default HTTPS port is 8443, default console's HTTPS port is 9443. That would cause collision if user has 2 instances and uses port offset of 1000, which is quite likely. 2) JGroups uses default ports up to 57600, which disallows using offset higher than 7000 and something. Why don't we use successive numbers like 17200, 17201, 17202, ... ? Are (non-standard) ports assigned as per individual's random choice, or is there some reasoning behind it? Thanks, Ondra