WFLY-3023

Changing the default port to 9990 from 9999