JDK-8225031 : Consider other whitespace characters as line terminators for String.lines
  • Type: Enhancement
  • Component: core-libs
  • Sub-Component: java.lang
  • Affected Version: 13
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2019-05-30
  • Updated: 2024-01-18
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
Other
tbdUnresolved
Related Reports
Relates :  
JDK-8200380 - String::lines
Description
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.