--- old/src/java.desktop/share/classes/java/awt/doc-files/DesktopProperties.html 2019-06-06 23:59:07.859294998 +0530 +++ new/src/java.desktop/share/classes/java/awt/doc-files/DesktopProperties.html 2019-06-06 23:59:07.459294998 +0530 @@ -65,12 +65,12 @@ awt.font.desktophints -java.util.Map +java.util.Map Font smoothing (text antialiasing) settings. sun.awt.enableExtraMouseButtons -java.lang.Boolean +java.lang.Boolean Controls if mouse events from extra buttons are to be generated or not