framework/jtreg/BinaryDefaultTestBinary.java - typetools/checker-framework - Git at Google

 public class BinaryDefaultTestBinary {
   public static BinaryDefaultTestBinary foo(BinaryDefaultTestInterface foo) {
     return new BinaryDefaultTestBinary();
   }
 }
	public class BinaryDefaultTestBinary {
	public static BinaryDefaultTestBinary foo(BinaryDefaultTestInterface foo) {
	return new BinaryDefaultTestBinary();
	}
	}