if(!"on".equals(jEdit.getProperty("saveGeometry"))) return;
	public static void saveGeometry(Window win, String name)	{		if(!"on".equals(jEdit.getProperty("saveGeometry")))			return;		Point location = win.getLocation();		Dimension size = win.getSize();		jEdit.setProperty(name + ".x",String.valueOf(location.x));		jEdit.setProperty(name + ".y",String.valueOf(location.y));		jEdit.setProperty(name + ".width",String.valueOf(size.width));		jEdit.setProperty(name + ".height",String.valueOf(size.height));	}