Bug 32610 Java Editor Font Does not change when Text Editor font changes
2.1 RC1 The Java editor should use the text font unless explicitly set. 1. Open Java editor 2. Change text font Observe: The Java editor does not use the font indicated on the preference page Note: After restarting the workbench the new font is used. Changing the text editor font resets the Java editor font again.
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceConverter.java
* be instantiated.
 * </p>
 */
public class PreferenceConverter {
	/**
	 * The default-default value for point preferences
	 * (the origin, <code>(0,0)</code>).
	 */
	public static final Point POINT_DEFAULT_DEFAULT = new Point(0, 0);
	/**
	 * The default-default value for rectangle preferences
	 * (the empty rectangle <code>(0,0,0,0)</code>).
	 */
	public static final Rectangle RECTANGLE_DEFAULT_DEFAULT =
		new Rectangle(0, 0, 0, 0);
	/**
	 * The default-default value for color preferences 
	 * (black, <code>RGB(0,0,0)</code>).
	 */
	public static final RGB COLOR_DEFAULT_DEFAULT = new RGB(0, 0, 0);
	private static final String ENTRY_SEPARATOR = ";"; 
	/**
	 * The default-default value for <code>FontData</code> preferences.
	 */
	public static final FontData[] FONTDATA_ARRAY_DEFAULT_DEFAULT;
	public static final FontData FONTDATA_DEFAULT_DEFAULT;
	static {
		Shell shell = new Shell();
		FONTDATA_ARRAY_DEFAULT_DEFAULT = shell.getFont().getFontData();
		shell.dispose();