--- old/src/java.desktop/share/classes/java/awt/desktop/PreferencesEvent.java	2018-12-04 16:22:38.000000000 -0800
+++ new/src/java.desktop/share/classes/java/awt/desktop/PreferencesEvent.java	2018-12-04 16:22:38.000000000 -0800
@@ -33,11 +33,13 @@
  * Event sent when the application is asked to open its preferences window.
  *
  * @see PreferencesHandler#handlePreferences
- *
  * @since 9
  */
 public final class PreferencesEvent extends AppEvent {
 
+    /**
+     * Use serialVersionUID from JDK 9 for interoperability.
+     */
     private static final long serialVersionUID = -6398607097086476160L;
 
     /**