add: org.eclipse.rap.rwt.TextUtil.updateSelection( text ); 
context: org.eclipse.rap.rwt.TextUtil.modifyText = function( evt ) {  if( !org_eclipse_rap_rwt_EventUtil_suspend ) {    var text = evt.getTarget();    // if not yet done, register an event listener that adds a request param    // with the text widgets' content just before the request is sent    if( !org.eclipse.rap.rwt.TextUtil._isModified( text ) ) {      var req = org.eclipse.rap.rwt.Request.getInstance();      req.addEventListener( "send", org.eclipse.rap.rwt.TextUtil._onSend, text );      org.eclipse.rap.rwt.TextUtil._setModified( text, true );    }  }}
meta: 8114	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8114/9e94ba9a23c5e7bf8e8d906203f20a0c7b3b746f/TextUtil.js/buggy/bundles/org.eclipse.rap.rwt/js/org/eclipse/rap/rwt/TextUtil.js