Buggy code:
public class Shell extends Decorations { Menu activeMenu ; int hIMC ; int hwndMDIClient ; int toolTipHandle ; int lpstrTip ; int minWidth = SWT . DEFAULT ; int minHeight = SWT . DEFAULT ; int [ ] brushes ; boolean showWithParent ; Control lastActive ; SHACTIVATEINFO psai ; Region region ; static final int DialogProc ; static final TCHAR DialogClass = new TCHAR ( 0 , ( OS . IsWinCE ? "Dialog" : "#32770" ) , true ) ; public Shell ( ) { } public Shell ( int style ) { } public Shell ( Display display ) { } public Shell ( Display display , int style ) { } Shell ( Display display , Shell parent , int style , int handle ) { } public Shell ( Shell parent ) { } public Shell ( Shell parent , int style ) { } public static Shell win32_new ( Display display , int handle ) { } static int checkStyle ( int style ) { } public void addShellListener ( ShellListener listener ) { } int callWindowProc ( int hwnd , int msg , int wParam , int lParam ) { } public void close ( ) { } void createHandle ( ) { } public void dispose ( ) { } void enableWidget ( boolean enabled ) { } int findBrush ( int pixel ) { } Cursor findCursor ( ) { } Control findThemeControl ( ) { } void fixShell ( Shell newShell , Control control ) { } public void forceActive ( ) { } void forceResize ( ) { } public Rectangle getBounds ( ) { } public boolean getEnabled ( ) { } public int getImeInputMode ( ) { } public Point getLocation ( ) { } public Point getMinimumSize ( ) { } public Region getRegion ( ) { } public Shell getShell ( ) { } public Point getSize ( ) { } public Shell [ ] getShells ( ) { } Composite findDeferredControl ( ) { } public boolean isEnabled ( ) { } public boolean isVisible ( ) { } int hwndMDIClient ( ) { } public void open ( ) { } void releaseChildren ( boolean destroy ) { } void releaseHandle ( ) { } void releaseParent ( ) { } void releaseWidget ( ) { } void removeMenu ( Menu menu ) { } public void removeShellListener ( ShellListener listener ) { } LRESULT selectPalette ( int hPalette ) { } public void setActive ( ) { } void setActiveControl ( Control control ) { } void setBounds ( int x , int y , int width , int height , int flags , boolean defer ) { } public void setEnabled ( boolean enabled ) { } public void setImeInputMode ( int mode ) { } public void setMinimumSize ( int width , int height ) { } public void setMinimumSize ( Point size ) { } void setItemEnabled ( int cmd , boolean enabled ) { } void setParent ( ) { } public void setRegion ( Region region ) { } void setToolTipText ( int hwnd , String text ) { } void setToolTipText ( NMTTDISPINFO lpnmtdi , byte [ ] buffer ) { } void setToolTipText ( NMTTDISPINFO lpnmtdi , char [ ] buffer ) { } public void setVisible ( boolean visible ) { } boolean translateAccelerator ( MSG msg ) { } boolean traverseEscape ( ) { } void updateModal ( ) { } CREATESTRUCT widgetCreateStruct ( ) { } int widgetParent ( ) { } int widgetExtStyle ( ) { } TCHAR windowClass ( ) { } int windowProc ( ) { } int widgetStyle ( ) { } LRESULT WM_ACTIVATE ( int wParam , int lParam ) { } LRESULT WM_COMMAND ( int wParam , int lParam ) { } LRESULT WM_DESTROY ( int wParam , int lParam ) { } LRESULT WM_ENTERIDLE ( int wParam , int lParam ) { LRESULT result = super . WM_ENTERIDLE ( wParam , lParam ) ; if ( result != null ) return result ; <START_BUG> if ( OS . IsWinCE ) { <END_BUG> if ( display . runAsyncMessages ( true ) ) display . wakeThread ( ) ; } return result ; } LRESULT WM_GETMINMAXINFO ( int wParam , int lParam ) { } LRESULT WM_MOUSEACTIVATE ( int wParam , int lParam ) { } LRESULT WM_NCHITTEST ( int wParam , int lParam ) { } LRESULT WM_NCLBUTTONDOWN ( int wParam , int lParam ) { } LRESULT WM_PALETTECHANGED ( int wParam , int lParam ) { } LRESULT WM_QUERYNEWPALETTE ( int wParam , int lParam ) { } LRESULT WM_SETCURSOR ( int wParam , int lParam ) { } LRESULT WM_SETTINGCHANGE ( int wParam , int lParam ) { } LRESULT WM_SHOWWINDOW ( int wParam , int lParam ) { } LRESULT WM_SYSCOMMAND ( int wParam , int lParam ) { } LRESULT WM_WINDOWPOSCHANGING ( int wParam , int lParam ) { } }

Fix:
if ( ( OS . IsWinCE ) && ( display . runMessages ) ) {