fRestoredContents= memento.getString(ID_DISPLAY_VIEW);
fRestoredContents= memento.getString(CONTENTS); if (fRestoredContents == null) { return; } fLineOffsets= new ArrayList(2); Integer offset; for (int i= 1;; i++) { offset= memento.getInteger(LINE_OFFSET + i); if (offset == null) { break; } fLineOffsets.add(offset); } fTabOffsets= new ArrayList(2); for (int count= 0;;count++) { offset= memento.getInteger(TABS + count); if (offset == null) { break; } fTabOffsets.add(offset); }
	public void init(IViewSite site, IMemento memento) throws PartInitException {		init(site);		if (memento != null) {			fRestoredContents= memento.getString(ID_DISPLAY_VIEW);		}	}