change_name

Description:

public void change_name (string name)

Changes the name of this.

Parameters:

this	a Workspace.
name	new name for this.