Change default port on example RP

It could be useful to have a way to change the default 8080 port of the example RP to a different one. And also update the oidc uris accordingly. I've tried to edit the [application.yml](examples/relying-party-spring-boot/src/main/resources/application.yml) file adding

```
port: 8005
```

under the `server:` tag, but it seems not to use the application.yml file when running.

Is there a way to do this?