100644 blob 15396a814ff5ea37c1f47293e8f5a2a5cf582cfe	ConstructorPostcondition.java
100644 blob b500dbb955eb64fd86d22e0de895b28f58358071	EnsuresInitializedFieldsTest.java
100644 blob a5e9b617b324c2919ea3f30980a03a7b70eed720	HelperMethodInitializesFields.java
100644 blob 6d509affd85949d860cf503582d6b1399ad46f78	SimpleConstructor.java