Buggy code:
, new int [ ] { OS . XK_KP_Divide , SWT . KEYPAD_DIVIDE } , new int [ ] { OS . XK_KP_0 , SWT . KEYPAD_0 } , new int [ ] { OS . XK_KP_1 , SWT . KEYPAD_1 } , new int [ ] { OS . XK_KP_2 , SWT . KEYPAD_2 } , new int [ ] { OS . XK_KP_3 , SWT . KEYPAD_3 } , new int [ ] { OS . XK_KP_4 , SWT . KEYPAD_4 } , new int [ ] { OS . XK_KP_5 , SWT . KEYPAD_5 } , new int [ ] { OS . XK_KP_6 , SWT . KEYPAD_6 } , new int [ ] { OS . XK_KP_7 , SWT . KEYPAD_7 } , new int [ ] { OS . XK_KP_8 , SWT . KEYPAD_8 } , new int [ ] { OS . XK_KP_9 , SWT . KEYPAD_9 } , new int [ ] { OS . XK_KP_Equal , SWT . KEYPAD_EQUAL } , new int [ ] { OS . XK_Caps_Lock , SWT . CAPS_LOCK } , new int [ ] { OS . XK_Num_Lock , SWT . NUM_LOCK } , new int [ ] { OS . XK_Scroll_Lock , SWT . SCROLL_LOCK } , new int [ ] { OS . XK_Pause , SWT . PAUSE } , new int [ ] { OS . XK_Break , SWT . BREAK } , new int [ ] { OS . XK_Print , SWT . PRINT_SCREEN } , new int [ ] { OS . XK_Help , SWT . HELP } } ; static String numLock ; static Display Default ; static Display [ ] Displays = new Display [ 4 ] ; int lastTime ; int lastButton ; Caret currentCaret ; Callback caretCallback ; int caretID ; int caretProc ; static boolean DisplayDisposed ; static final String PACKAGE_PREFIX = "org.eclipse.swt.widgets." ; static final Class OS_LOCK ; Callback mouseHoverCallback ; int mouseHoverID ; int mouseHoverProc ; int mouseHoverHandle ; int toolTipHandle ; int dragTranslations ; int arrowTranslations ; int tabTranslations ; Callback checkExposeCallback ; int checkExposeProc ; int exposeCount ; int lastExpose ; XExposeEvent xExposeEvent = new XExposeEvent ( ) ; Callback checkResizeCallback ; int checkResizeProc ; int resizeWidth ; int resizeHeight ; int resizeCount ; int resizeWindow ; XConfigureEvent xConfigureEvent = new XConfigureEvent ( ) ; Callback focusCallback ; int focusProc ; Callback wakeCallback ; int wakeProc ; int read_fd ; int write_fd ; int inputID ; byte [ ] wake_buffer = new byte [ 1 ] ; int [ ] timeout = new int [ 2 ] ; byte [ ] fd_set ; Object data ; String [ ] keys ; Object [ ] values ; static void setDevice ( Device device ) { } public Display ( ) { } public Display ( DeviceData data ) { } static DeviceData checkNull ( DeviceData data ) { } protected void checkDevice ( ) { } void addMouseHoverTimeOut ( int handle ) { } void addWidget ( int handle , Widget widget ) { } public void addFilter ( int eventType , Listener listener ) { } public void addListener ( int eventType , Listener listener ) { } public void asyncExec ( Runnable runnable ) { } public void beep ( ) { } int caretProc ( int clientData , int id ) { } int checkExposeProc ( int display , int event , int window ) { } int checkResizeProc ( int display , int event , int arg ) { } 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 ) ; } } } protected void checkSubclass ( ) { } public void close ( ) { } String convertToLf ( String text ) { } protected void create ( DeviceData data ) { } void createDisplay ( DeviceData data ) { } int createMask ( int pixmap ) { } int createPixmap ( String name ) { } static synchronized void deregister ( Display display ) { } protected void destroy ( ) { } void destroyDisplay ( ) { } public void disposeExec ( Runnable runnable ) { } void error ( int code ) { } boolean filterEvent ( Event event ) { } boolean filters ( int eventType ) { } boolean filterEvent ( int event ) { } public Widget findWidget ( int handle ) { } public Widget findWidget ( int handle , int id ) { } boolean fixKey ( int [ ] keysym , byte [ ] buffer , int state ) { } int focusProc ( int w , int client_data , int call_data , int continue_to_dispatch ) { } public Shell getActiveShell ( ) { } public static synchronized Display getCurrent ( ) { } public static synchronized Display findDisplay ( Thread thread ) { } int getCaretBlinkTime ( ) { } public Control getCursorControl ( ) { } public Point getCursorLocation ( ) { } public Point [ ] getCursorSizes ( ) { } public static synchronized Display getDefault ( ) { } public Object getData ( String key ) { } public Object getData ( ) { } public int getDismissalAlignment ( ) { } public int getDoubleClickTime ( ) { } public Control getFocusControl ( ) { } public boolean getHighContrast ( ) { } public int getIconDepth ( ) { } public Point [ ] getIconSizes ( ) { } int getLastEventTime ( ) { } int getMessageCount ( ) { }

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