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
* 
				 * @see org.eclipse.ui.internal.ide.undo.IFileContentDescription#getContents()
				 */
				public InputStream getContents() throws CoreException {
					return state.getContents();
				}
				/*
				 * (non-Javadoc)
				 * 
				 * @see org.eclipse.ui.internal.ide.undo.IFileContentDescription#getCharset()
				 */
				public String getCharset() throws CoreException {
					return state.getCharset();
				}
			};
		}
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.internal.ide.undo.ResourceDescription#createResourceHandle()
	 */
	public IResource createResourceHandle() {
		IWorkspaceRoot workspaceRoot = parent.getWorkspace().getRoot();
		IPath fullPath = parent.getFullPath().append(name);
		return workspaceRoot.getFile(fullPath);
	}
	/*
	 * (non-Javadoc)
	 *