player.desktopScrollPane.validate();
appClass.desktopScrollPane.validate();
  void resizeEmbeddedApplet() {    // resize scroll pane if necessary    Dimension scrollSize = player.desktopScrollPane.getSize();    if (scrollSize.width != player.dispW ||        scrollSize.height != player.dispH) {      player.desktopScrollPane.setSize(player.dispW, player.dispH);    }    player.desktopScrollPane.validate();    // size the canvas    setSize(getPreferredSize());  }