checker/jtreg/issue469/advancedcrash/SomeInterface.java - typetools/checker-framework - Git at Google

 package advancedcrash;

 public interface SomeInterface extends CrashyInterface {
   void doSomethingFancy();
 }
	package advancedcrash;

	public interface SomeInterface extends CrashyInterface {
	void doSomethingFancy();
	}