New stub warnings in 3.42

[Jon Schewe]

With the release of Checker Framework 3.42 I've started getting warnings about one of my stub files. Below are the warnings and the stub file. What has changed such that the class Collection can't be found and the bytecode doesn't match?

I'm using checker 3.42 with Java 21.

warning: /home/jpschewe/projects/fll-sw/working-dir/stubs/jdk/java/util/List.astub:(line 6,col 1): Supertype Collection not found

warning: /home/jpschewe/projects/fll-sw/working-dir/stubs/jdk/java/util/List.astub:(line 6,col 1): stub file does not match bytecode: could not find superclass Collection<E> from type List<E extends Object>

package java.util;

import org.checkerframework.checker.nullness.qual.Nullable;

import org.checkerframework.checker.initialization.qual.UnknownInitialization;

public interface List<E> extends Collection<E> {

boolean add(@UnknownInitialization E e);

}