Buggy code:
, new int [ ] { OS . VK_F8 , SWT . F8 } , new int [ ] { OS . VK_F9 , SWT . F9 } , new int [ ] { OS . VK_F10 , SWT . F10 } , new int [ ] { OS . VK_F11 , SWT . F11 } , new int [ ] { OS . VK_F12 , SWT . F12 } , new int [ ] { OS . VK_F13 , SWT . F13 } , new int [ ] { OS . VK_F14 , SWT . F14 } , new int [ ] { OS . VK_F15 , SWT . F15 } , new int [ ] { OS . VK_MULTIPLY , SWT . KEYPAD_MULTIPLY } , new int [ ] { OS . VK_ADD , SWT . KEYPAD_ADD } , new int [ ] { OS . VK_RETURN , SWT . KEYPAD_CR } , new int [ ] { OS . VK_SUBTRACT , SWT . KEYPAD_SUBTRACT } , new int [ ] { OS . VK_DECIMAL , SWT . KEYPAD_DECIMAL } , new int [ ] { OS . VK_DIVIDE , SWT . KEYPAD_DIVIDE } , new int [ ] { OS . VK_NUMPAD0 , SWT . KEYPAD_0 } , new int [ ] { OS . VK_NUMPAD1 , SWT . KEYPAD_1 } , new int [ ] { OS . VK_NUMPAD2 , SWT . KEYPAD_2 } , new int [ ] { OS . VK_NUMPAD3 , SWT . KEYPAD_3 } , new int [ ] { OS . VK_NUMPAD4 , SWT . KEYPAD_4 } , new int [ ] { OS . VK_NUMPAD5 , SWT . KEYPAD_5 } , new int [ ] { OS . VK_NUMPAD6 , SWT . KEYPAD_6 } , new int [ ] { OS . VK_NUMPAD7 , SWT . KEYPAD_7 } , new int [ ] { OS . VK_NUMPAD8 , SWT . KEYPAD_8 } , new int [ ] { OS . VK_NUMPAD9 , SWT . KEYPAD_9 } , new int [ ] { OS . VK_CAPITAL , SWT . CAPS_LOCK } , new int [ ] { OS . VK_NUMLOCK , SWT . NUM_LOCK } , new int [ ] { OS . VK_SCROLL , SWT . SCROLL_LOCK } , new int [ ] { OS . VK_PAUSE , SWT . PAUSE } , new int [ ] { OS . VK_CANCEL , SWT . BREAK } , new int [ ] { OS . VK_SNAPSHOT , SWT . PRINT_SCREEN } } ; static Display Default ; static Display [ ] Displays = new Display [ 4 ] ; static Monitor [ ] monitors = null ; static int monitorCount = 0 ; Shell [ ] modalShells ; Shell modalDialogShell ; static boolean TrimEnabled = false ; static final int SWT_GETACCELCOUNT = OS . WM_APP ; static final int SWT_GETACCEL = ( OS . WM_APP ) + 1 ; static final int SWT_KEYMSG = ( OS . WM_APP ) + 2 ; static final int SWT_DESTROY = ( OS . WM_APP ) + 3 ; static final int SWT_TRAYICONMSG = ( OS . WM_APP ) + 4 ; static int SWT_TASKBARCREATED ; int hitCount ; static final String PACKAGE_PREFIX = "org.eclipse.swt.widgets." ; static void setDevice ( Device device ) { } public Display ( ) { } public Display ( DeviceData data ) { } Control _getFocusControl ( ) { } void addBar ( Menu menu ) { } void addControl ( int handle , Control control ) { } public void addFilter ( int eventType , Listener listener ) { } public void addListener ( int eventType , Listener listener ) { } void addMenuItem ( MenuItem item ) { } void addPopup ( Menu menu ) { } int asciiKey ( int key ) { } public void asyncExec ( Runnable runnable ) { } public void beep ( ) { } protected void checkSubclass ( ) { } protected void checkDevice ( ) { } static synchronized void checkDisplay ( Thread thread , boolean multiple ) { for ( int i = 0 ; i < ( Display . Displays . length ) ; i ++ ) { if ( ( Display . Displays [ i ] ) != null ) { if ( ! multiple ) <START_BUG> SWT . error ( ERROR_NOT_IMPLEMENTED ) ; <END_BUG> if ( ( Display . Displays [ i ] . thread ) == thread ) SWT . error ( ERROR_THREAD_INVALID_ACCESS ) ; } } } void clearModal ( Shell shell ) { } int controlKey ( int key ) { } public void close ( ) { } protected void create ( DeviceData data ) { } void createDisplay ( DeviceData data ) { } static synchronized void deregister ( Display display ) { } protected void destroy ( ) { } void destroyDisplay ( ) { } public void disposeExec ( Runnable runnable ) { } void drawMenuBars ( ) { } int embeddedProc ( int hwnd , int msg , int wParam , int lParam ) { } void error ( int code ) { } boolean filterEvent ( Event event ) { } boolean filters ( int eventType ) { } boolean filterMessage ( MSG msg ) { } Control findControl ( int handle ) { } public Widget findWidget ( int handle ) { } public Widget findWidget ( int handle , int id ) { } int foregroundIdleProc ( int code , int wParam , int lParam ) { } public static synchronized Display findDisplay ( Thread thread ) { } public Shell getActiveShell ( ) { } public Rectangle getBounds ( ) { } public static synchronized Display getCurrent ( ) { } public Rectangle getClientArea ( ) { } Control getControl ( int handle ) { } public Control getCursorControl ( ) { } public Point getCursorLocation ( ) { } public Point [ ] getCursorSizes ( ) { }

Fix:
SWT . error ( ERROR_NOT_IMPLEMENTED , null , "<seq2seq4repair_space>[multiple<seq2seq4repair_space>displays]" ) ;