Buggy code:
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 ( ) { } public Monitor [ ] getMonitors ( ) { } public Monitor getPrimaryMonitor ( ) { } public Shell [ ] getShells ( ) { } public Thread getSyncThread ( ) { } public Color getSystemColor ( int id ) { } public Cursor getSystemCursor ( int id ) { } public Font getSystemFont ( ) { } public Image getSystemImage ( int style ) { } public Tray getSystemTray ( ) { } public Thread getThread ( ) { } Widget getWidget ( int handle ) { } void hideToolTip ( ) { } protected void init ( ) { } void initializeButton ( ) { } void initializeComposite ( ) { } void initializeDefaults ( ) { } void initializeDialog ( ) { } void initializeDisplay ( ) { } void initializeLabel ( ) { } void initializeList ( ) { } void initializeNumLock ( ) { } void initializePixmaps ( ) { } void initializeScrollBar ( ) { } void initializeSystemColors ( ) { } void initializeText ( ) { } void initializeTranslations ( ) { } void initializeWidgetTable ( ) { } public int internal_new_GC ( GCData data ) { } public void internal_dispose_GC ( int gc , GCData data ) { } boolean isValidThread ( ) { } static boolean isValidClass ( Class clazz ) { } public Point map ( Control from , Control to , Point point ) { } public Point map ( Control from , Control to , int x , int y ) { } public Rectangle map ( Control from , Control to , Rectangle rectangle ) { } public Rectangle map ( Control from , Control to , int x , int y , int width , int height ) { } int mouseHoverProc ( int handle , int id ) { } public boolean post ( Event event ) { } void postEvent ( Event event ) { } public boolean readAndDispatch ( ) { } static synchronized void register ( Display display ) { } protected void release ( ) { } void releaseDisplay ( ) { } void releaseToolTipHandle ( int handle ) { } void removeMouseHoverTimeOut ( ) { } Widget removeWidget ( int handle ) { } public void removeFilter ( int eventType , Listener listener ) { } public void removeListener ( int eventType , Listener listener ) { } boolean runAsyncMessages ( ) { } boolean runDeferredEvents ( ) { } boolean runFocusOutEvents ( ) { } void sendEvent ( int eventType , Event event ) { } public void setCursorLocation ( int x , int y ) { } public void setCursorLocation ( Point point ) { } public static void setAppName ( String name ) { } void setCurrentCaret ( Caret caret ) { } public void setData ( String key , Object value ) { } public void setData ( Object data ) { } public void setSynchronizer ( Synchronizer synchronizer ) { } void setToolTipText ( int handle , String toolTipText ) { } void showToolTip ( int handle , String toolTipText ) { } public boolean sleep ( ) { checkDevice ( ) ; if ( ( getMessageCount ( ) ) != 0 ) return true ; int result ; int display_fd = OS . ConnectionNumber ( xDisplay ) ; int max_fd = ( display_fd > ( read_fd ) ) ? display_fd : read_fd ; int xtContext = OS . XtDisplayToApplicationContext ( xDisplay ) ; do { OS . FD_ZERO ( fd_set ) ; OS . FD_SET ( display_fd , fd_set ) ; OS . FD_SET ( read_fd , fd_set ) ; timeout [ 0 ] = 0 ; <START_BUG> timeout [ 1 ] = 100000 ; <END_BUG> int count = Callback . getEntryCount ( ) ; for ( int i = 0 ; i < count ; i ++ ) { synchronized ( Display . OS_LOCK ) { OS . MonitorExit ( Display . OS_LOCK ) ; } } try { result = OS . select ( ( max_fd + 1 ) , fd_set , null , null , timeout ) ; } finally { for ( int i = 0 ; i < count ; i ++ ) { synchronized ( Display . OS_LOCK ) { OS . MonitorEnter ( Display . OS_LOCK ) ; } } } } while ( ( ( result == 0 ) && ( ( OS . XtAppPending ( xtContext ) ) == 0 ) ) && ( ( getMessageCount ( ) ) == 0 ) ) ; return OS . FD_ISSET ( display_fd , fd_set ) ; } public void syncExec ( Runnable runnable ) { } int textWidth ( String string , Font font ) { } public void timerExec ( int milliseconds , Runnable runnable ) { } int timerProc ( int index , int id ) { } static int translateKey ( int key ) { } static int untranslateKey ( int key ) { } public void update ( ) { } public void wake ( ) { } void wakeThread ( ) { } int wakeProc ( int closure , int source , int id ) { } static int wcsToMbcs ( char ch ) { } static int wcsToMbcs ( char ch , String codePage ) { } int windowTimerProc ( int handle , int id ) { } int windowProc ( int w , int client_data , int call_data , int continue_to_dispatch ) { } String wrapText ( String text , Font font , int width ) { } }

Fix:
timeout [ 1 ] = 50000 ;