Update config.properties

There's already a default port hard-coded, so we can remove this.