framework/tests/report/reporttest.astub

import org.checkerframework.common.util.report.qual.*;

package java.lang;

class Class<T> {
      @ReportCall
     Class<?> forName(String s);
}

@ReportUse
package java.util.regex;