--- old/src/java.desktop/share/classes/java/awt/doc-files/DesktopProperties.html 2019-09-24 16:41:39.561754600 +0100
+++ new/src/java.desktop/share/classes/java/awt/doc-files/DesktopProperties.html 2019-09-24 16:41:38.258243100 +0100
@@ -31,6 +31,7 @@
+
AWT Desktop Properties
The following refers to standard AWT desktop properties that
@@ -277,6 +278,7 @@
This property should be used when there is no need in listening mouse events fired as a result of
activity with extra mouse button.
By default this property is set to {@code true}.
+