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

Reviewed-by: alexsch, serb
Contributed-by: NRobin Stevens <robin.stevens@scz.be>

src/share/classes/java/awt/SplashScreen.java

@@ -250,7 +250,7 @@ public final class SplashScreen {
             assert scale > 0;
             if (scale > 0 && scale != 1) {
                 bounds.setSize((int) (bounds.getWidth() / scale),
-                        (int) (bounds.getWidth() / scale));
+                        (int) (bounds.getHeight() / scale));
             }
             return bounds;
         }

test/java/awt/SplashScreen/MultiResolutionSplash/MultiResolutionSplashTest.java

@@ -93,6 +93,15 @@ public class MultiResolutionSplashTest {
         int screenX = (int) splashBounds.getCenterX();
         int screenY = (int) splashBounds.getCenterY();
 
+        if(splashBounds.width != IMAGE_WIDTH){
+            throw new RuntimeException(
+                    "SplashScreen#getBounds has wrong width");
+        }
+        if(splashBounds.height != IMAGE_HEIGHT){
+            throw new RuntimeException(
+                    "SplashScreen#getBounds has wrong height");
+        }
+
         Robot robot = new Robot();
         Color splashScreenColor = robot.getPixelColor(screenX, screenY);