100644 blob 6c3c5edb39cdbf088ff4c1ce3ba46d7f8ca67661	EnsuresInitializedFields.java
100644 blob d83042cc0a03a6f0bb2a57b0a9561ebff038c0fb	InitializedFields.java
100644 blob 2f16939d206736567603fa11b57a6e0a1e3f11c2	InitializedFieldsBottom.java
100644 blob 1f25542d80a0b6e9a9ae58b3bb496c3d781d8190	PolyInitializedFields.java