private void titleHasChanged(java.awt.event.KeyEvent evt) {//GEN-FIRST:event_titleHasChanged
        String newTitle = getTitle();
        if ( !newTitle.isEmpty() )
            window.serverTitleHasChanged(newTitle);
    }//GEN-LAST:event_titleHasChanged