int x, y, width, height;
final int x, y, width, height;
	public static void loadGeometry(Window win, String name)	{		if(!"on".equals(jEdit.getProperty("saveGeometry")))			return;		int x, y, width, height;		try		{			width = Integer.parseInt(jEdit.getProperty(name + ".width"));			height = Integer.parseInt(jEdit.getProperty(name + ".height"));		}		catch(NumberFormatException nf)		{			Dimension size = win.getSize();			width = size.width;			height = size.height;		}		try		{			x = Integer.parseInt(jEdit.getProperty(name + ".x"));			y = Integer.parseInt(jEdit.getProperty(name + ".y"));		}		catch(NumberFormatException nf)		{			Dimension screen = win.getToolkit().getScreenSize();			x = (screen.width - width) / 2;			y = (screen.height - height) / 2;		}		win.setLocation(x,y);		win.setSize(width,height);	}