Buggy code:
class Safari extends WebBrowser { int delegate ; int webViewHandle ; int webView ; int windowBoundsHandler ; int preferences ; boolean loadingText ; boolean hasNewFocusElement ; boolean untrustedText ; String lastHoveredLinkURL ; String lastNavigateURL ; String html ; int identifier ; int resourceCount ; int lastMouseMoveX ; int lastMouseMoveY ; String url = "" ; Point location ; Point size ; boolean statusBar = true ; boolean toolBar = true ; boolean ignoreDispose ; static boolean Initialized ; static Callback Callback3 ; 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//412.0" ; static final String URI_FILEROOT = "file://////" ; static final String PROTOCOL_FILE = "file:////" ; static final String PROTOCOL_HTTP = "http:////" ; static final String URI_APPLEWEBDATA = "applewebdata:////" ; 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 BROWSER_WINDOW = "org.eclipse.swt.browser.Browser.Window" ; static final String SAFARI_EVENTS_FIX_KEY = "org.eclipse.swt.internal.safariEventsFix" ; 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" ; static final String DOMEVENT_FOCUSIN = "DOMFocusIn" ; static final String DOMEVENT_FOCUSOUT = "DOMFocusOut" ; public boolean create ( Composite parent , int style ) { } static int eventProc3 ( int nextHandler , int theEvent , int userData ) { } static int eventProc7 ( int webview , int userData , int selector , int arg0 , int arg1 , int arg2 , int arg3 ) { } static int createNSString ( String string ) { } static String getString ( int ptr ) { } public boolean back ( ) { } 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 ( ) { } int handleCallback ( int nextHandler , int theEvent ) { } int handleCallback ( int selector , int arg0 , int arg1 , int arg2 , int arg3 ) { } 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 didChangeLocationWithinPageForFrame ( int frame ) { } void didFailProvisionalLoadWithError ( int error , int frame ) { } void createPanelDidEnd ( int sheet , int returnCode , int contextInfo ) { } void didFinishLoadForFrame ( int frame ) { } void hookDOMFocusListeners ( int frame ) { } void hookDOMKeyListeners ( int frame ) { } void hookDOMMouseListeners ( int frame ) { } void didReceiveTitle ( int title , int frame ) { } void didStartProvisionalLoadForFrame ( int frame ) { } void didCommitLoadForFrame ( int frame ) { } void windowScriptObjectAvailable ( int windowScriptObject ) { } void didFinishLoadingFromDataSource ( int identifier , int dataSource ) { } void didFailLoadingWithError ( int identifier , int error , int dataSource ) { } void didReceiveAuthenticationChallengefromDataSource ( int identifier , int challenge , int dataSource ) { } boolean showAuthenticationDialog ( final String [ ] user , final String [ ] password , String host , String realm ) { } int identifierForInitialRequest ( int request , int dataSource ) { } int willSendRequest ( int identifier , int request , int redirectResponse , int dataSource ) { } void handleNotification ( int notification ) { } int createWebViewWithRequest ( int request ) { } void webViewShow ( int sender ) { } void setFrame ( int frame ) { } void webViewFocus ( ) { } void webViewUnfocus ( ) { } int callRunBeforeUnloadConfirmPanelWithMessage ( int messageID , int arg ) { } int runBeforeUnloadConfirmPanelWithMessage ( int message , int frame ) { } void runJavaScriptAlertPanelWithMessage ( int message ) { } int runJavaScriptConfirmPanelWithMessage ( int message ) { } void runOpenPanelForFileButtonWithResultListener ( int resultListener ) { } void webViewClose ( ) { } int contextMenuItemsForElement ( int element , int defaultMenuItems ) { } void setStatusBarVisible ( int visible ) { } void setStatusText ( int text ) { } void setResizable ( int visible ) { } void setToolbarsVisible ( int visible ) { } void mouseDidMoveOverElement ( int elementInformation , int modifierFlags ) { } void decidePolicyForMIMEType ( int type , int request , int frame , int listener ) { } void decidePolicyForNavigationAction ( int actionInformation , int request , int frame , int listener ) { } void decidePolicyForNewWindowAction ( int actionInformation , int request , int frameName , int listener ) { } void unableToImplementPolicyWithError ( int error , int frame ) { } void decideDestinationWithSuggestedFilename ( int download , int filename ) { } void handleEvent ( int evt ) { } Object convertToJava ( int value ) { } int convertToJS ( Object value ) { } int callJava ( int index , int args , int arg1 ) { } }

Fix:
return "webkit" ;