checker/tests/nullness-extra/issue348/lib/LibSuper.java - typetools/checker-framework - Git at Google

 package lib;

 public class LibSuper {
   @Anno
   public void foo() {}
 }
	package lib;

	public class LibSuper {
	@Anno
	public void foo() {}
	}