Log.log(Log.DEBUG,GUIUtilities.class,"Window " + name + ": bounds after opening: " + r);
			public void windowOpened(WindowEvent evt)			{				windowOpened = true;								Rectangle r = win.getBounds();				Log.log(Log.DEBUG,GUIUtilities.class,"Window "					+ name + ": bounds after opening: " + r);				if(r.x != desired.x || r.y != desired.y					|| r.width != desired.width					|| r.height != desired.height)				{					jEdit.setProperty(name + ".dx",String.valueOf(						r.x - required.x));					jEdit.setProperty(name + ".dy",String.valueOf(						r.y - required.y));					jEdit.setProperty(name + ".d-width",String.valueOf(						r.width - required.width));					jEdit.setProperty(name + ".d-height",String.valueOf(						r.height - required.height));				}				win.removeWindowListener(this);			}