if (canShow) { WebKit.objc_msgSend(listener, WebKit.S_use); return; }   WebKit.objc_msgSend(listener, WebKit.S_ignore); int download = WebKit.objc_msgSend(WebKit.C_WebDownload, WebKit.S_alloc); WebKit.objc_msgSend(download, WebKit.S_initWithRequestDelegate, request, delegate);
WebKit.objc_msgSend(listener, canShow ? WebKit.S_use : WebKit.S_download);
void decidePolicyForMIMEType(int type, int request, int frame, int listener) {	boolean canShow = WebKit.objc_msgSend(WebKit.C_WebView, WebKit.S_canShowMIMEType, type) != 0;	if (canShow) {		WebKit.objc_msgSend(listener, WebKit.S_use);		return;	}	/* Safari cannot display the content, so offer to download it instead */ 	WebKit.objc_msgSend(listener, WebKit.S_ignore);	int download = WebKit.objc_msgSend(WebKit.C_WebDownload, WebKit.S_alloc);	WebKit.objc_msgSend(download, WebKit.S_initWithRequestDelegate, request, delegate);}