RFR: 7505: Cannot reset websocket server port to default

[Marcus Hirt]

On Wed, 12 Jan 2022 16:17:53 GMT, Alex Macdonald <aptmac at openjdk.org> wrote:

> This quick change addresses JMC-7505 [[0]](https://bugs.openjdk.java.net/browse/JMC-7505), in which the Preferences menu does not reset the value of the websocket server port.
> 
> The fix is to add the missing call to `loadWebsocketPortFromPrefStore()` in the `performDefaults()`.
> 
> Before:
> ![websocket-reset-before](https://user-images.githubusercontent.com/10425301/149178788-f2a12ee2-d6f7-4438-85f2-a56e11c743d6.gif)
> 
> After:
> ![websocket-reset-after](https://user-images.githubusercontent.com/10425301/149178778-f2d707d3-6a7f-4eb7-a603-b2de63aee319.gif)

Marked as reviewed by hirt (Lead).

-------------

PR: https://git.openjdk.java.net/jmc/pull/353