git: openjdk/jdk-sandbox: jcmd_cores_process_revival: symbols file: recording contents is optional. Symbols file is now almost unused.

[duke]

Changeset: 77882cfc
Branch: jcmd_cores_process_revival
Author:    Kevin Walls <kevin.walls at oracle.com>
Date:      2025-09-09 09:47:19 +0000
URL:       https://git.openjdk.org/jdk-sandbox/commit/77882cfc6b5ef7672cfcfac2afdbbf896260a58b

symbols file: recording contents is optional.  Symbols file is now almost unused.

! src/java.base/share/native/revivalhelper/revival.cpp
! src/java.base/windows/native/revivalhelper/revival_windows.cpp