Bug 73127 [Encoding] Expecting resource delta if workbench encoding changes
I20040901 We now get a resource delta if the explicit encoding of a file or (if not explicitly set or extracted from file) its parent container's encoding changes. If all parent containers use workbench encoding then the workbench encoding gets used but no resource delta is sent for that file if the workbench encoding changes. This forces clients which need to handle encoding changes to listen for resource deltas and UI property change events.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/ide/IDEEncoding.java
boolean addValue = true;
		StringBuffer result = new StringBuffer();
		for (int i = 0; i < currentEncodings.length; i++) {
			String string = currentEncodings[i];
			result.append(string);
			result.append(PREFERENCE_SEPARATOR);
			if (string.equals(value))
				addValue = false;
		}
		if (addValue)
			result.append(value);
		IDEWorkbenchPlugin.getDefault().getPreferenceStore().setValue(
				IDE_ENCODINGS_PREFERENCE, result.toString());
	}
	/**
	 * Get the value of the encodings preference.
	 * 
	 * @return List
	 */
	private static String[] getIDEEncodingsPreference() {
		String encodings = IDEWorkbenchPlugin.getDefault().getPreferenceStore()
				.getString(IDE_ENCODINGS_PREFERENCE);
		if (encodings == null || encodings.length() == 0)
			return new String[0];
		return encodings.split(PREFERENCE_SEPARATOR);
	}
	/**
	 * Clear the IDE encodings preference.
	 */
	public static void clearUserEncodings() {