public void updateTitle( boolean changed ) {
    String title;

    title = this.getTitle();
    if ( changed ) {
      if ( !title.endsWith( "*" ) ) {
        this.setTitle( title + "*" );
      } // if
    } // if
    else {
      if ( title.endsWith( "*" ) ) {
        title = title.substring( 0, title.length() - 1 );
        this.setTitle( title );
      } // if
    } // else

  } // updateTitle -------------------------------------------------------------