{
return getScreenInsets(((Win32GraphicsDevice) gc.getDevice()).getScreen());
}
public int getScreenResolution() {
Win32GraphicsEnvironment ge = (Win32GraphicsEnvironment)
GraphicsEnvironment.getLocalGraphicsEnvironment();
return ge.getXResolution();
}