This is https://bugs.openjdk.org/browse/JDK-8370945
I agree the padding should not be there unless it is needed. -phil. On 11/16/25 11:55 PM, Nicolas Baumann wrote:
Hello, Here’s a link with all the details: https://stackoverflow.com/q/79820806/8315843 Thanks, Nicolas.
