--- old/src/java.desktop/share/classes/javax/swing/plaf/nimbus/doc-files/properties.html 2019-09-24 16:43:46.391911300 +0100 +++ new/src/java.desktop/share/classes/javax/swing/plaf/nimbus/doc-files/properties.html 2019-09-24 16:43:45.073669700 +0100 @@ -31,6 +31,7 @@