Buggy code:
public static Display getCurrent ( ) { } int getCaretBlinkTime ( ) { } public Rectangle getClientArea ( ) { } public Control getCursorControl ( ) { } public Point getCursorLocation ( ) { } public Point [ ] getCursorSizes ( ) { } public static Display getDefault ( ) { } public Object getData ( String key ) { } public Object getData ( ) { } public int getDismissalAlignment ( ) { } public int getDoubleClickTime ( ) { } public Control getFocusControl ( ) { } Control getFocusControl ( int window , boolean disabled ) { } public boolean getHighContrast ( ) { } public int getIconDepth ( ) { } public Point [ ] getIconSizes ( ) { } int getLastEventTime ( ) { } Menu [ ] getMenus ( Decorations shell ) { } Menu getMenu ( int id ) { } Menu getMenuBar ( ) { } int getMessageCount ( ) { } public Monitor [ ] getMonitors ( ) { } public Monitor getPrimaryMonitor ( ) { } public Shell [ ] getShells ( ) { } public Synchronizer getSynchronizer ( ) { } public Thread getSyncThread ( ) { } public Color getSystemColor ( int id ) { checkDevice ( ) ; RGBColor rgb = new RGBColor ( ) ; switch ( id ) { case SWT . COLOR_INFO_FOREGROUND : return super . getSystemColor ( COLOR_BLACK ) ; case SWT . COLOR_INFO_BACKGROUND : return Color . carbon_new ( this , new float [ ] { 255 // 255.0F , 255 // 255.0F , 225 // 255.0F , 1 } ) ; case SWT . COLOR_TITLE_FOREGROUND : OS . GetThemeTextColor ( ( ( short ) ( kThemeTextColorDocumentWindowTitleActive ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; break ; case SWT . COLOR_TITLE_BACKGROUND : OS . GetThemeBrushAsColor ( ( ( short ) ( - 5 ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; break ; case SWT . COLOR_TITLE_BACKGROUND_GRADIENT : OS . GetThemeBrushAsColor ( ( ( short ) ( kThemeBrushPrimaryHighlightColor ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; break ; case SWT . COLOR_TITLE_INACTIVE_FOREGROUND : OS . GetThemeTextColor ( ( ( short ) ( kThemeTextColorDocumentWindowTitleInactive ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; break ; case SWT . COLOR_TITLE_INACTIVE_BACKGROUND : OS . GetThemeBrushAsColor ( ( ( short ) ( kThemeBrushSecondaryHighlightColor ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; break ; case SWT . COLOR_TITLE_INACTIVE_BACKGROUND_GRADIENT : OS . GetThemeBrushAsColor ( ( ( short ) ( kThemeBrushSecondaryHighlightColor ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; break ; case SWT . COLOR_WIDGET_DARK_SHADOW : return Color . carbon_new ( this , new float [ ] { 51 // 255.0F , 51 // 255.0F , 51 // 255.0F , 1 } ) ; case SWT . COLOR_WIDGET_NORMAL_SHADOW : return Color . carbon_new ( this , new float [ ] { 102 // 255.0F , 102 // 255.0F , 102 // 255.0F , 1 } ) ; case SWT . COLOR_WIDGET_LIGHT_SHADOW : return Color . carbon_new ( this , new float [ ] { 153 // 255.0F , 153 // 255.0F , 153 // 255.0F , 1 } ) ; case SWT . COLOR_WIDGET_HIGHLIGHT_SHADOW : return Color . carbon_new ( this , new float [ ] { 204 // 255.0F , 204 // 255.0F , 204 // 255.0F , 1 } ) ; case SWT . COLOR_WIDGET_BACKGROUND : <START_BUG> OS . GetThemeBrushAsColor ( ( ( short ) ( kThemeBrushButtonFaceActive ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; <END_BUG> break ; case SWT . COLOR_WIDGET_FOREGROUND : OS . GetThemeTextColor ( ( ( short ) ( kThemeTextColorPushButtonActive ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; break ; case SWT . COLOR_WIDGET_BORDER : return super . getSystemColor ( COLOR_BLACK ) ; case SWT . COLOR_LIST_FOREGROUND : OS . GetThemeTextColor ( ( ( short ) ( kThemeTextColorListView ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; break ; case SWT . COLOR_LIST_BACKGROUND : OS . GetThemeBrushAsColor ( ( ( short ) ( kThemeBrushListViewBackground ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; break ; case SWT . COLOR_LIST_SELECTION_TEXT : OS . GetThemeTextColor ( ( ( short ) ( kThemeTextColorListView ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; break ; case SWT . COLOR_LIST_SELECTION : OS . GetThemeBrushAsColor ( ( ( short ) ( kThemeBrushPrimaryHighlightColor ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ; break ; default : return super . getSystemColor ( id ) ; } float red = ( ( ( rgb . red ) > > 8 ) & 255 ) // 255.0F ; float green = ( ( ( rgb . green ) > > 8 ) & 255 ) // 255.0F ; float blue = ( ( ( rgb . blue ) > > 8 ) & 255 ) // 255.0F ; return Color . carbon_new ( this , new float [ ] { red , green , blue , 1 } ) ; } public Cursor getSystemCursor ( int id ) { } public Image getSystemImage ( int id ) { } public Tray getSystemTray ( ) { } public Thread getThread ( ) { } Widget getWidget ( int handle ) { }

Fix:
OS . GetThemeBrushAsColor ( ( ( short ) ( ( OS . VERSION ) < 4176 ? OS . kThemeBrushButtonFaceActive : OS . kThemeBrushButtonInactiveDarkShadow ) ) , ( ( short ) ( getDepth ( ) ) ) , true , rgb ) ;