framework/tests/typedecldefault/jdk.astub

import org.checkerframework.framework.testchecker.typedecldefault.quals.*;

package java.lang;
class Object{
  @TypeDeclDefaultBottom Object();
}