Change default port to 4242 as it used for JWST demo work in ETC land.