checker/tests/signature/StubLibraryTest.java

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();
  //   }

}