setTitle(String title) {
public synchronized void setTitle(String title) {
setTitle(String title){  // A null title is equivalent to an empty title    this.title = (title != null) ? title : "";  if (peer != null)    {			DialogPeer d = (DialogPeer) peer;      d.setTitle (title);	}}