checker/jtreg/index/valuestub/Test.astub - typetools/checker-framework - Git at Google

 package valuestub;
 public class Test {
     public int length();
 }