Bug 12861 Replace from local history does not always preserve line delimiters.
If a history file contains the two line delimiters '\r\n\r' the second '\r' is not preserved.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/compare/JavaReplaceWithEditionAction.java
private boolean fPrevious= false;
	
	public JavaReplaceWithEditionAction() {
	}
	
	public JavaReplaceWithEditionAction(boolean previous) {
		fPrevious= previous;
	}	
	
	
	protected ITypedElement[] buildEditions(ITypedElement target, IFile file, IFileState[] states) {
		ITypedElement[] editions= new ITypedElement[states.length+1];
		editions[0]= new ResourceNode(file);
		for (int i= 0; i < states.length; i++)
			editions[i+1]= new HistoryItem(target, states[i]);
		return editions;
	}
	/**
	 * @see Action#run
	 */
	public void run(IAction action) {
		
		String errorTitle= CompareMessages.getString("ReplaceFromHistory.title"); 
		String errorMessage= CompareMessages.getString("ReplaceFromHistory.internalErrorMessage"); 
		
		Shell shell= JavaPlugin.getActiveWorkbenchShell();
		
		
		ISelection selection= getSelection();
		IMember input= getEditionElement(selection);