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

*** 248,258 ****
              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;
          }
      }
  
--- 248,258 ----
              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;
          }
      }