Update jenkins port based on user configuration.