question: 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 ) { } }
target:  Replaces a frameset branch Element with a frame leaf element.