System.out.println("screenres1: " + ss); System.out.println("screenres2: " + Toolkit.getDefaultToolkit().getScreenSize());
                    public void run() {                        Dimension ss = ((JNodeToolkit) Toolkit.getDefaultToolkit()).changeScreenSize(resolution);                        AccessController.doPrivileged(new SetPropertyAction("jnode.awt.screensize", resolution));                        ctx.adjustDesktopSize(ss.width, ss.height);                    }