trying to change a config in Spring Boot so I can set the http server port