Bug 48773 [Preferences] Workbench should use ColorRegistry for color management.
Wherever possible, the workbench should use the new Color API for its colors.
bundles/org.eclipse.jface/src/org/eclipse/jface/resource/JFaceColors.java
public static int STATUS_PERCENT = 100;
    
	private static Hashtable colorTable = new Hashtable();
	
	
	private static ArrayList allocatedColors = new ArrayList();
	/**
	 * Get the Color used for banner backgrounds
	 */
	public static Color getBannerBackground(Display display) {
		return display.getSystemColor(SWT.COLOR_LIST_BACKGROUND);
	}