Changing the Server Name, IP Address or Port for Checkmarx Components