public static String lineEndingToPlatform(String line_ending) {
		if (line_ending.equals(LINE_END_MAC)) {
			return PLATFORM_MAC;
		} else if (line_ending.equals(LINE_END_WIN)) {
			return PLATFORM_WIN;
		} else if (line_ending.equals(LINE_END_UNIX)) {
			return PLATFORM_UNIX;
		} else {
			System.out.println("Unknown line ending: " + line_ending);
			return "UNKNOWN";
		}
	}