Buggy code:
, new int [ ] { OS . Key_OemSemicolon , ';' } , new int [ ] { OS . Key_Oem7 , '\'' } , new int [ ] { OS . Key_OemComma , ',' } , new int [ ] { OS . Key_OemPeriod , '.' } , new int [ ] { OS . Key_Oem2 , '//' } } ; 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 ; 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 addWidget ( int handle , Widget widget ) { } public void addFilter ( int eventType , Listener listener ) { } void addInvalidate ( Control control ) { } public void addListener ( int eventType , Listener listener ) { } void addPopup ( Menu menu ) { } public void asyncExec ( Runnable runnable ) { } public void beep ( ) { } protected void checkSubclass ( ) { } protected void checkDevice ( ) { } static synchronized void checkDisplay ( Thread thread , boolean multiple ) { } void checkExitFrame ( int e ) { } void clearModal ( Shell shell ) { } 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 error ( int code ) { } boolean filterEvent ( Event event ) { } boolean filters ( int eventType ) { } public Widget findWidget ( int handle ) { } public Widget findWidget ( int handle , int id ) { } public Widget findWidget ( Widget widget , int id ) { } public static synchronized Display findDisplay ( Thread thread ) { } public Shell getActiveShell ( ) { } public Rectangle getBounds ( ) { } public static synchronized Display getCurrent ( ) { } public Rectangle getClientArea ( ) { } Widget getWidget ( int handle ) { } public Control getCursorControl ( ) { } public Point getCursorLocation ( ) { } public Point [ ] getCursorSizes ( ) { } public static synchronized Display getDefault ( ) { } static boolean isValidClass ( Class clazz ) { } 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 ( ) { } Shell getModalShell ( ) { } Shell getModalDialogShell ( ) { } public Monitor [ ] getMonitors ( ) { } public Monitor getPrimaryMonitor ( ) { } public Shell [ ] getShells ( ) { } public Thread getSyncThread ( ) { } public Color getSystemColor ( int id ) { } public Cursor getSystemCursor ( int id ) { } public Image getSystemImage ( int id ) { } public Tray getSystemTray ( ) { } public Thread getThread ( ) { } public int internal_new_GC ( GCData data ) { } protected void init ( ) { super . init ( ) ; dispatcher = OS . Application_Dispatcher ( application ) ; if ( ( dispatcher ) == 0 ) SWT . error ( ERROR_NO_HANDLES ) ; frame = OS . gcnew_DispatcherFrame ( ) ; if ( ( frame ) == 0 ) SWT . error ( ERROR_NO_HANDLES ) ; jniRef = OS . NewGlobalRef ( this ) ; if ( ( jniRef ) == 0 ) SWT . error ( ERROR_NO_HANDLES ) ; int hooks = OS . Dispatcher_Hooks ( dispatcher ) ; int handler = OS . gcnew_EventHandler ( jniRef , "HandleDispatcherInactive" ) ; OS . DispatcherHooks_DispatcherInactive ( hooks , handler ) ; OS . GCHandle_Free ( handler ) ; handler = OS . gcnew_DispatcherHookEventHandler ( jniRef , "HandleOperationCompleted" ) ; OS . DispatcherHooks_OperationCompleted ( hooks , handler ) ; OS . GCHandle_Free ( handler ) ; handler = OS . gcnew_DispatcherHookEventHandler ( jniRef , "HandleOperationPosted" ) ; OS . DispatcherHooks_OperationPosted ( hooks , handler ) ; OS . GCHandle_Free ( handler ) ; handler = OS . gcnew_DispatcherHookEventHandler ( jniRef , "HandleOperationAborted" ) ; OS . DispatcherHooks_OperationAborted ( hooks , handler ) ; OS . GCHandle_Free ( handler ) ; OS . GCHandle_Free ( hooks ) ; timerHandler = OS . gcnew_TimerHandler ( jniRef , "timerProc" ) ; colors = new Color [ ( SWT . COLOR_TITLE_INACTIVE_BACKGROUND_GRADIENT ) + 1 ] ; colors [ SWT . COLOR_WIDGET_DARK_SHADOW ] = Color . wpf_new ( this , OS . SystemColors_ControlDarkDarkColor ( ) ) ; colors [ SWT . COLOR_WIDGET_NORMAL_SHADOW ] = Color . wpf_new ( this , OS . SystemColors_ControlDarkColor ( ) ) ; colors [ SWT . COLOR_WIDGET_LIGHT_SHADOW ] = Color . wpf_new ( this , OS . SystemColors_ControlLightColor ( ) ) ; <START_BUG> colors [ SWT . COLOR_WIDGET_HIGHLIGHT_SHADOW ] = Color . wpf_new ( this , OS . SystemColors_ControlDarkDarkColor ( ) ) ; <END_BUG> colors [ SWT . COLOR_WIDGET_FOREGROUND ] = Color . wpf_new ( this , OS . SystemColors_ControlTextColor ( ) ) ; colors [ SWT . COLOR_WIDGET_BACKGROUND ] = Color . wpf_new ( this , OS . SystemColors_ControlColor ( ) ) ; colors [ SWT . COLOR_WIDGET_BORDER ] = Color . wpf_new ( this , OS . SystemColors_ActiveBorderColor ( ) ) ; colors [ SWT . COLOR_LIST_FOREGROUND ] = Color . wpf_new ( this , OS . SystemColors_WindowTextColor ( ) ) ; colors [ SWT . COLOR_LIST_BACKGROUND ] = Color . wpf_new ( this , OS . SystemColors_WindowColor ( ) ) ; colors [ SWT . COLOR_LIST_SELECTION ] = Color . wpf_new ( this , OS . Colors_LightSkyBlue ( ) ) ; colors [ SWT . COLOR_LIST_SELECTION_TEXT ] = Color . wpf_new ( this , OS . SystemColors_HighlightTextColor ( ) ) ;

Fix:
colors [ SWT . COLOR_WIDGET_HIGHLIGHT_SHADOW ] = Color . wpf_new ( this , OS . SystemColors_ControlLightLightColor ( ) ) ;