The String.lines method (JDK-8200380) is well-documented in its handling of combinations of carriage return and line feed in delimiting lines of a string.

There are potentially other Unicode whitespace characters which should be regarded as having a similar effect including:

* U+0085 next line
* U+2028 line separator
* U+2029 paragraph separator

The ASCII form feed and vertical tab would be other candidates.