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
} catch (NumberFormatException x) {
			} catch (MissingResourceException x) {
			}
		}
		return dfltValue;
	}
	static ImageDescriptor getImageDescriptor(int type) {
		switch (type) {			
		case IMember.INITIALIZER:
		case IMember.METHOD:
			return getImageDescriptor("obj16/compare_method.gif"); 			
		case IMember.FIELD:
			return getImageDescriptor("obj16/compare_field.gif"); 
		case IMember.PACKAGE_DECLARATION:
			return JavaPluginImages.DESC_OBJS_PACKDECL;
		case IMember.IMPORT_DECLARATION:
			return JavaPluginImages.DESC_OBJS_IMPDECL;
		case IMember.IMPORT_CONTAINER:
			return JavaPluginImages.DESC_OBJS_IMPCONT;
		case IMember.COMPILATION_UNIT:
			return JavaPluginImages.DESC_OBJS_CUNIT;
		}	
		return ImageDescriptor.getMissingImageDescriptor();
	}
	
	static ImageDescriptor getTypeImageDescriptor(boolean isClass) {
		if (isClass)
			return JavaPluginImages.DESC_OBJS_CLASS;
		return JavaPluginImages.DESC_OBJS_INTERFACE;
	}