add system property of super dev mode port for internal jetty server