@Nonnull
	public static String[] splitNewlineSkipEmpty(@Nonnull String input) {
		String[] split = input.split("[\r\n]+");
		// If the first line of the file is a newline split will still have
		// one blank entry at the start.
		if (split.length > 1 && split[0].isEmpty())
			return Arrays.copyOfRange(split, 1, split.length);
		return split;
	}
@Test
	void testSplitNewlineSkipEmpty() {
		assertEquals(1, StringUtil.splitNewlineSkipEmpty("").length);
		assertEquals(1, StringUtil.splitNewlineSkipEmpty("a").length);
		assertEquals(2, StringUtil.splitNewlineSkipEmpty("a\nb").length);
		assertEquals(2, StringUtil.splitNewlineSkipEmpty("a\n\rb").length);
		assertEquals(2, StringUtil.splitNewlineSkipEmpty("a\r\nb").length);
		assertEquals(2, StringUtil.splitNewlineSkipEmpty("a\n\nb").length);
		assertEquals(2, StringUtil.splitNewlineSkipEmpty("a\n\r\r\nb").length);
		assertEquals(2, StringUtil.splitNewlineSkipEmpty("a\r\n\r\nb").length);
		assertEquals(2, StringUtil.splitNewlineSkipEmpty("a\r\n\n\rb").length);
		assertEquals(2, StringUtil.splitNewlineSkipEmpty("a\r\n\n\n\n\n\rb").length);
	}