Bug 170071 [Undo] Undo deleting *.properties file sets explicit encoding
I20070109-1805 Create a *.properties file => Encoding is "Default (determined from content: ISO-8859-1)" Delete file in Navigator, the choose Edit > Undo => File is restored, but its encoding is now explicitly set to "ISO-8859-1"
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/undo/FileDescription.java
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IPath;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.core.runtime.OperationCanceledException;
import org.eclipse.core.runtime.SubProgressMonitor;
/**
 * FileDescription is a lightweight description that describes a file to be
 * created.
 * 
 * This class is not intended to be instantiated or used by clients.
 * 
 * @since 3.3
 * 
 */
public class FileDescription extends AbstractResourceDescription {
	String name;
	URI location;
	String charset;
	private IFileContentDescription fileContentDescription;
	/**
	 * Create a FileDescription that can be used to later restore the given
	 * file. The file typically already exists, but this constructor will not
	 * fail if the file does not exist.
	 * 
	 * @param file
	 *            the file to be restored.
	 */
	public FileDescription(IFile file) {
		super(file);
		this.name = file.getName();