tree 9c089574a9ce80322da3f8acce14fbb446cc42d9
parent 8adb61f52f562955578661e515d8a2dc8190b1d8
author Robin Stevens <robin.stevens@scz.be> 1465464724 +0300
committer Alexander Scherbatiy <alexsch@openjdk.org> 1465464724 +0300

8158178: java.awt.SplashScreen.getSize() returns incorrect size for high dpi splash screens

Reviewed-by: alexsch, serb