hg: jdk9/client/jdk: 8046031: UI of Java Web Start app isn't updated when changing Windows theme

[semyon.sadetsky at oracle.com]

Changeset: fb38b0925915
Author:    ssadetsky
Date:      2016-05-17 14:31 +0300
URL:       http://hg.openjdk.java.net/jdk9/client/jdk/rev/fb38b0925915

8046031: UI of Java Web Start app isn't updated when changing Windows theme
Reviewed-by: alexsch, serb

! src/java.desktop/share/classes/com/sun/java/swing/plaf/windows/DesktopProperty.java