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
* @param value the new current value of the preference
	 * 
	 * @see #setValue(IPreferenceStore, String, FontData[])
	 */
	public static void putValue(
		IPreferenceStore store,
		String name,
		FontData[] value) {
		FontData[] oldValue = getFontDataArray(store, name);
		
		if (!Arrays.equals(oldValue, value)) {
			store.putValue(name, getStoredRepresentation(value));
		}
	}
	/**
	 * Returns the stored representation of the given array of FontData objects.
	 * The stored representation has the form FontData;FontData;
	 * Only includes the non-null entries.
	 * 
	 * @param fontData the array of FontData objects
	 * @return the stored representation of the FontData objects
	 */
	private static String getStoredRepresentation(FontData[] fontData) {
		StringBuffer buffer = new StringBuffer();
		for (int i = 0; i < fontData.length; i++) {
			if (fontData[i] != null) {
				buffer.append(fontData[i].toString());
				buffer.append(ENTRY_SEPARATOR);
			}
		}