Withdrawn: 8374341: Use of "\s" instead of "\\s" in CoreUtils.java results in splitting on backspace instead of whitespace

[duke]

On Wed, 24 Dec 2025 23:40:29 GMT, Eunbin Son <d...@openjdk.org> wrote:

> ### Summary
> Fix incorrect regex usage in CoreUtils.getCoreFileLocation.
> 
> ### Description
> CoreUtils.getCoreFileLocation uses String.split("\s", 2).
> The string literal "\s" represents a backspace character, not a whitespace 
> regex.
> As a result, the split operation does not separate fields on whitespace.
> This change replaces the pattern with `"\\s+"` to correctly split on 
> whitespace.
> No other logic is modified.
> 
> ### Bug ID :  JDK-8374341 
> https://bugs.java.com/bugdatabase/view_bug?bug_id=8374341

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.org/jdk/pull/28984