public void setDesktopManager(DesktopManager manager) { this.desktopManager = manager;  }
public void setDesktopManager(DesktopManager manager) { desktopManager = manager; }
	public void setDesktopManager(DesktopManager manager) {		this.desktopManager = manager;		// TODO	} // setDesktopManager()