[8] Review request for JDK-8158178: java.awt.SplashScreen.getSize() returns incorrect size for high dpi splash screens

[Robin Stevens]

Hello,

please review the patch for JDK-8158178 (
https://bugs.openjdk.java.net/browse/JDK-8158178):

http://cr.openjdk.java.net/~alexsch/robin.stevens/8158178/jdk8/webrev.00/

Thanks,

Robin