param.append(width).append("x").append(height).append("+").append(x) .append("+").append(y);
param.append(x).append(",").append(y).append(",").append(width) .append("x").append(height);
  protected String paramString()  {		StringBuffer param = new StringBuffer();		String name = getName();		if (name != null)			param.append(name).append(",");    param.append(width).append("x").append(height).append("+").append(x)      .append("+").append(y);    if (! isValid())			param.append(",invalid");    if (! isVisible())			param.append(",invisible");    if (! isEnabled())			param.append(",disabled");    if (! isOpaque())			param.append(",translucent");		if (isDoubleBuffered())			param.append(",doublebuffered");		return param.toString();	}