Buggy code:
class IE extends WebBrowser { OleFrame frame ; OleControlSite site ; OleAutomation auto ; OleListener domListener ; OleAutomation [ ] documents = new OleAutomation [ 0 ] ; boolean back ; boolean forward ; boolean navigate ; boolean delaySetText ; boolean ignoreDispose ; Point location ; Point size ; boolean addressBar = true ; boolean menuBar = true ; boolean statusBar = true ; boolean toolBar = true ; int globalDispatch ; String html ; String lastNavigateURL ; int style ; int lastKeyCode ; int lastCharCode ; int lastMouseMoveX ; int lastMouseMoveY ; static boolean IsIE7 ; static String ProgId = "Shell.Explorer" ; static final int BeforeNavigate2 = 250 ; static final int CommandStateChange = 105 ; static final int DocumentComplete = 259 ; static final int NavigateComplete2 = 252 ; static final int NewWindow2 = 251 ; static final int OnMenuBar = 256 ; static final int OnStatusBar = 257 ; static final int OnToolBar = 255 ; static final int OnVisible = 254 ; static final int ProgressChange = 108 ; static final int RegisterAsBrowser = 552 ; static final int StatusTextChange = 102 ; static final int TitleChange = 113 ; static final int WindowClosing = 263 ; static final int WindowSetHeight = 267 ; static final int WindowSetLeft = 264 ; static final int WindowSetResizable = 262 ; static final int WindowSetTop = 265 ; static final int WindowSetWidth = 266 ; static final short CSC_NAVIGATEFORWARD = 1 ; static final short CSC_NAVIGATEBACK = 2 ; static final int INET_E_DEFAULT_ACTION = - 2146697199 ; static final int READYSTATE_COMPLETE = 4 ; static final int URLPOLICY_ALLOW = 0 ; static final int URLPOLICY_DISALLOW = 3 ; static final int URLPOLICY_JAVA_PROHIBIT = 0 ; static final int URLPOLICY_JAVA_LOW = 196608 ; static final int URLZONE_LOCAL_MACHINE = 0 ; static final int URLZONE_INTRANET = 1 ; static final int URLACTION_ACTIVEX_MIN = 4608 ; static final int URLACTION_ACTIVEX_MAX = 5119 ; static final int URLACTION_ACTIVEX_RUN = 4608 ; static final int URLACTION_JAVA_MIN = 7168 ; static final int URLACTION_JAVA_MAX = 7423 ; static final int URLACTION_SCRIPT_RUN = 5120 ; static final int DISPID_AMBIENT_DLCONTROL = - 5512 ; static final int DLCTL_DLIMAGES = 16 ; static final int DLCTL_VIDEOS = 32 ; static final int DLCTL_BGSOUNDS = 64 ; static final int DLCTL_NO_SCRIPTS = 128 ; static final int DLCTL_NO_JAVA = 256 ; static final int DLCTL_NO_RUNACTIVEXCTLS = 512 ; static final int DLCTL_NO_DLACTIVEXCTLS = 1024 ; static final int DLCTL_DOWNLOADONLY = 2048 ; static final int DLCTL_NO_FRAMEDOWNLOAD = 4096 ; static final int DLCTL_RESYNCHRONIZE = 8192 ; static final int DLCTL_PRAGMA_NO_CACHE = 16384 ; static final int DLCTL_FORCEOFFLINE = 268435456 ; static final int DLCTL_NO_CLIENTPULL = 536870912 ; static final int DLCTL_SILENT = 1073741824 ; static final int DOCHOSTUIFLAG_THEME = 262144 ; static final int DOCHOSTUIFLAG_NO3DBORDER = 4 ; static final int DOCHOSTUIFLAG_NO3DOUTERBORDER = 2097152 ; static final String ABOUT_BLANK = "about:blank" ; static final String CLSID_SHELLEXPLORER1 = "{EAB22AC3-30C1-11CF-A7EB-0000C05BAE0B}" ; static final String EVENT_DOUBLECLICK = "dblclick" ; static final String EVENT_DRAGEND = "dragend" ; static final String EVENT_DRAGSTART = "dragstart" ; static final String EVENT_KEYDOWN = "keydown" ; static final String EVENT_KEYPRESS = "keypress" ; static final String EVENT_KEYUP = "keyup" ; static final String EVENT_MOUSEMOVE = "mousemove" ; static final String EVENT_MOUSEWHEEL = "mousewheel" ; static final String EVENT_MOUSEUP = "mouseup" ; static final String EVENT_MOUSEDOWN = "mousedown" ; static final String EVENT_MOUSEOUT = "mouseout" ; static final String EVENT_MOUSEOVER = "mouseover" ; static final String PROTOCOL_FILE = "file:////" ; static final String PROPERTY_ALTKEY = "altKey" ; static final String PROPERTY_BUTTON = "button" ; static final String PROPERTY_CLIENTX = "clientX" ; static final String PROPERTY_CLIENTY = "clientY" ; static final String PROPERTY_CTRLKEY = "ctrlKey" ; static final String PROPERTY_FROMELEMENT = "fromElement" ; static final String PROPERTY_KEYCODE = "keyCode" ; static final String PROPERTY_REPEAT = "repeat" ; static final String PROPERTY_RETURNVALUE = "returnValue" ; static final String PROPERTY_SHIFTKEY = "shiftKey" ; static final String PROPERTY_TOELEMENT = "toElement" ; static final String PROPERTY_TYPE = "type" ; static final String PROPERTY_WHEELDELTA = "wheelDelta" ; public void create ( Composite parent , int style ) { } public boolean back ( ) { } public boolean execute ( String script ) { } public boolean forward ( ) { } public String getBrowserType ( ) { } String getDeleteFunctionString ( String functionName ) { <START_BUG> return ( "window." + functionName ) + "=undefined;" ; <END_BUG> } public String getText ( ) { } public String getUrl ( ) { } public boolean isBackEnabled ( ) { } public boolean isForwardEnabled ( ) { } public boolean isFocusControl ( ) { } public void refresh ( ) { } public boolean setText ( String html ) { } public boolean setUrl ( String url ) { } public void stop ( ) { } void handleDOMEvent ( OleEvent e ) { } void hookDOMListeners ( OleAutomation webBrowser , final boolean isTop ) { } void unhookDOMListeners ( OleAutomation [ ] documents ) { } }

Fix:
return ( "window." + functionName ) + "=undefined" ;