checker/jtreg/issue469/simplecrash/SomeRandomClass.java - typetools/checker-framework - Git at Google

 package simplecrash;

 public class SomeRandomClass {
   void randomStuff(LetItCrash letItCrash) {
     letItCrash.makeItLongerAndCrash();
   }
 }
	package simplecrash;

	public class SomeRandomClass {
	void randomStuff(LetItCrash letItCrash) {
	letItCrash.makeItLongerAndCrash();
	}
	}