import org.checkerframework.checker.signature.qual.*;
// Not on classpath when running the Checker Framework tests.
// import org.apache.bcel.generic.ClassGen;
public class StubLibraryTest {
void testJdk() {
@ClassGetName String s3 = String.class.getName();
}
// void testBcel(ClassGen cg) {
// @ClassGetName String cgn = cg.getClassName();
// @BinaryName String bn = cg.getClassName();
// }
}