public void setKeySelectionManager(KeySelectionManager value0) {  }
public void setKeySelectionManager(KeySelectionManager aManager) { }
	public void setKeySelectionManager(KeySelectionManager value0) {		// TODO	} // setKeySelectionManager()