checker/jtreg/stubs/issue1565/MyStub.astub

import org.checkerframework.checker.initialization.qual.UnknownInitialization;
import java.util.*;

package java.util;
class AbstractList<T>
{
    void clear(@UnknownInitialization(AbstractList.class) AbstractList<T> this);
}
class BitSet
{
    void clear(@UnknownInitialization(BitSet.class) BitSet this);
}