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

*** 249,259 ****
              float scale = _getScaleFactor(splashPtr);
              Rectangle bounds = _getBounds(splashPtr);
              assert scale > 0;
              if (scale > 0 && scale != 1) {
                  bounds.setSize((int) (bounds.getWidth() / scale),
!                         (int) (bounds.getWidth() / scale));
              }
              return bounds;
          }
      }
  
--- 249,259 ----
              float scale = _getScaleFactor(splashPtr);
              Rectangle bounds = _getBounds(splashPtr);
              assert scale > 0;
              if (scale > 0 && scale != 1) {
                  bounds.setSize((int) (bounds.getWidth() / scale),
!                         (int) (bounds.getHeight() / scale));
              }
              return bounds;
          }
      }