Buggy code:
class Safari extends WebBrowser { WebView webView ; WebPreferences preferences ; SWTWebViewDelegate delegate ; boolean loadingText ; boolean untrustedText ; String lastHoveredLinkURL ; String lastNavigateURL ; String html ; int identifier ; int resourceCount ; String url = "" ; Point location ; Point size ; boolean statusBar = true ; boolean toolBar = true ; boolean ignoreDispose ; int lastMouseMoveX ; int lastMouseMoveY ; static int delegateClass ; static boolean Initialized ; static Callback Callback3 ; static Callback Callback4 ; static Callback Callback5 ; static Callback Callback6 ; static Callback Callback7 ; static final int MIN_SIZE = 16 ; static final int MAX_PROGRESS = 100 ; static final String WebElementLinkURLKey = "WebElementLinkURL" ; static final String AGENT_STRING = "Safari//522.0" ; static final String URI_FILEROOT = "file://////" ; static final String PROTOCOL_FILE = "file:////" ; static final String PROTOCOL_HTTP = "http:////" ; static final String ABOUT_BLANK = "about:blank" ; static final String HEADER_SETCOOKIE = "Set-Cookie" ; static final String POST = "POST" ; static final String USER_AGENT = "user-agent" ; static final String ADD_WIDGET_KEY = "org.eclipse.swt.internal.addWidget" ; static final String SAFARI_EVENTS_FIX_KEY = "org.eclipse.swt.internal.safariEventsFix" ; static final byte [ ] SWT_OBJECT = new byte [ ] { 'S' , 'W' , 'T' , '_' , 'O' , 'B' , 'J' , 'E' , 'C' , 'T' , '' } ; static final String DOMEVENT_KEYUP = "keyup" ; static final String DOMEVENT_KEYDOWN = "keydown" ; static final String DOMEVENT_MOUSEDOWN = "mousedown" ; static final String DOMEVENT_MOUSEUP = "mouseup" ; static final String DOMEVENT_MOUSEMOVE = "mousemove" ; static final String DOMEVENT_MOUSEWHEEL = "mousewheel" ; public boolean create ( Composite parent , int style ) { } public boolean back ( ) { } static int browserProc ( int id , int sel , int arg0 ) { } static int browserProc ( int id , int sel , int arg0 , int arg1 ) { } static int browserProc ( int id , int sel , int arg0 , int arg1 , int arg2 ) { } static int browserProc ( int id , int sel , int arg0 , int arg1 , int arg2 , int arg3 ) { } static int browserProc ( int id , int sel , int arg0 , int arg1 , int arg2 , int arg3 , int arg4 ) { } static boolean isSelectorExcludedFromWebScript ( int aSelector ) { } static int webScriptNameForSelector ( int aSelector ) { } public boolean close ( ) { } boolean close ( boolean showPrompters ) { } public boolean execute ( String script ) { } public boolean forward ( ) { } public String getBrowserType ( ) { <START_BUG> return "safari" ; <END_BUG> } public String getText ( ) { } public String getUrl ( ) { } public boolean isBackEnabled ( ) { } public boolean isForwardEnabled ( ) { } public void refresh ( ) { } public boolean setText ( String html , boolean trusted ) { } public boolean setUrl ( String url , String postData , String [ ] headers ) { } public void stop ( ) { } boolean translateMnemonics ( ) { } void webView_didChangeLocationWithinPageForFrame ( int sender , int frameID ) { } void webView_didFailProvisionalLoadWithError_forFrame ( int sender , int error , int frame ) { } void createPanelDidEnd ( int sheet , int returnCode , int contextInfo ) { } void webView_didFinishLoadForFrame ( int sender , int frameID ) { } void hookDOMKeyListeners ( int frameID ) { } void hookDOMMouseListeners ( int frameID ) { } void webView_didReceiveTitle_forFrame ( int sender , int titleID , int frameID ) { } void webView_didStartProvisionalLoadForFrame ( int sender , int frameID ) { } void webView_didCommitLoadForFrame ( int sender , int frameID ) { } void webView_windowScriptObjectAvailable ( int webView , int windowScriptObject ) { } void webView_resource_didFinishLoadingFromDataSource ( int sender , int identifier , int dataSource ) { } void webView_resource_didFailLoadingWithError_fromDataSource ( int sender , int identifier , int error , int dataSource ) { } void webView_resource_didReceiveAuthenticationChallenge_fromDataSource ( int sender , int identifier , int challenge , int dataSource ) { } boolean showAuthenticationDialog ( final String [ ] user , final String [ ] password , String host , String realm ) { } int webView_identifierForInitialRequest_fromDataSource ( int sender , int request , int dataSourceID ) { } int webView_resource_willSendRequest_redirectResponse_fromDataSource ( int sender , int identifier , int request , int redirectResponse , int dataSource ) { } int webView_createWebViewWithRequest ( int sender , int request ) { } void webViewShow ( int sender ) { } void webView_setFrame ( int sender , int frame ) { } void webViewFocus ( int sender ) { } void webViewUnfocus ( int sender ) { } NSNumber callRunBeforeUnloadConfirmPanelWithMessage ( int messageID , int arg ) { } boolean webView_runBeforeUnloadConfirmPanelWithMessage_initiatedByFrame ( int sender , int messageID , int frame ) { } void webView_runJavaScriptAlertPanelWithMessage ( int sender , int messageID ) { } int webView_runJavaScriptConfirmPanelWithMessage ( int sender , int messageID ) { } void webView_runOpenPanelForFileButtonWithResultListener ( int sender , int resultListenerID ) { } void webViewClose ( int sender ) { } int webView_contextMenuItemsForElement_defaultMenuItems ( int sender , int element , int defaultMenuItems ) { } void webView_setStatusBarVisible ( int sender , boolean visible ) { } void webView_setStatusText ( int sender , int textID ) { } void webView_setResizable ( int sender , boolean visible ) { } void webView_setToolbarsVisible ( int sender , boolean visible ) { } void webView_mouseDidMoveOverElement_modifierFlags ( int sender , int elementInformationID , int modifierFlags ) { } void webView_printFrameView ( int sender , int frameViewID ) { } void webView_decidePolicyForMIMEType_request_frame_decisionListener ( int sender , int type , int request , int frame , int listenerID ) { } void webView_decidePolicyForNavigationAction_request_frame_decisionListener ( int sender , int actionInformation , int request , int frame , int listenerID ) { } void webView_decidePolicyForNewWindowAction_request_newFrameName_decisionListener ( int sender , int actionInformation , int request , int frameName , int listenerID ) { }

Fix:
return "webkit" ;