checker/tests/nullness/init/Uninit2.java - typetools/checker-framework - Git at Google

 public class Uninit2 {
   Object a;

   Uninit2() {
     a = new Object();
   }
 }
	public class Uninit2 {
	Object a;

	Uninit2() {
	a = new Object();
	}
	}