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/JavaCompareUtilities.java
while (true) {
				int c= is.read();
				if (c == -1)
					break;
				if (c == '\n' || c == '\r') {
					if (sb != null)
						list.add(sb.toString());
					sb= null;
				} else {
					if (sb == null)
						sb= new StringBuffer();
					sb.append((char)c);
				}
			}
			if (sb != null)
				list.add(sb.toString());
			return (String[]) list.toArray(new String[list.size()]);
		} catch (IOException ex) {
			return null;
		} finally {
			if (is != null) {
				try {
					is.close();
				} catch (IOException ex) {
				}
			}
		}
	}
}