Can you point me to where we actually define the default Jetty properties we install in the MSI? I've been assuming the idp-distribution jetty-base files are what get used, but those clearly wouldn't work for a real install (wrong ports, (8)443 bound to localhost, etc.) -- Scott