refactor(wire-dto): pin @JsonProperty on DisplayNameSettingsChangedEvent

The record components were naked (only the static factory had @JsonProperty);
the conformance audit re-run during #53 flagged it as FRAGILE. Pinning the
record components matches the rest of the events that #52 already covered.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: johardi

src/main/java/edu/stanford/protege/webprotege/lang/DisplayNameSettingsChangedEvent.java

@@ -15,9 +15,9 @@
  * 29 Jul 2018
  */
 @JsonTypeName("webprotege.events.projects.DisplayNameSettingsChanged")
-public record DisplayNameSettingsChangedEvent(EventId eventId,
-                                              ProjectId projectId,
-                                              DisplayNameSettings displayNameSettings) implements ProjectEvent {
+public record DisplayNameSettingsChangedEvent(@JsonProperty("eventId") EventId eventId,
+                                              @JsonProperty("projectId") ProjectId projectId,
+                                              @JsonProperty("displayNameSettings") DisplayNameSettings displayNameSettings) implements ProjectEvent {
 
     public static final String CHANNEL = "webprotege.events.projects.DisplayNameSettingsChanged";