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.