public void displayChanged(){
  executeDisplayChangedOnEDT(getGraphicsConfiguration());
}

public void displayChanged ( ) { executeDisplayChangedOnEDT ( getGraphicsConfiguration ( ) ) ; }
from the displaychangedlistener interface ; called from x11graphicsdevice when the display mode has been changed .
