} catch (IOException e) {
throw new PartInitException("Error reading editor input.", e);
}
// Ensure the field values are updated if the file content is replaced
docProvider.addElementStateListener(new IElementStateListener() {
public void elementMoved(Object originalElement, Object movedElement) {}
public void elementDirtyStateChanged(Object element, boolean isDirty) {}
public void elementDeleted(Object element) {}