private void updateFrameSet(Element element,String url){
  try {
    int startOffset=element.getStartOffset();
    int endOffset=Math.min(getLength(),element.getEndOffset());
    String html="<frame";
    if (url != null) {
      html+=" src=\"" + url + "\"";
    }
    html+=">";
    installParserIfNecessary();
    setOuterHTML(element,html);
  }
 catch (  BadLocationException e1) {
  }
catch (  IOException ioe) {
  }
}

private void updateFrameSet ( Element element , String url ) { try { int startOffset = element . getStartOffset ( ) ; int endOffset = Math . min ( getLength ( ) , element . getEndOffset ( ) ) ; String html = "<frame" ; if ( url != null ) { html += " src=\"" + url + "\"" ; } html += ">" ; installParserIfNecessary ( ) ; setOuterHTML ( element , html ) ; } catch ( BadLocationException e1 ) { } catch ( IOException ioe ) { } }
replaces a frameset branch element with a frame leaf element .
