Correct system property for server port for Spring Boot