100644 blob 95125b99599f320ef4e3cad0c71820c6a2d59050	H1H2AnnotatedTypeFactory.java
100644 blob 61ae38752eb5607865773c3c49218b4552d28e3f	H1H2Checker.java
100644 blob ab88878674ebf02f152a05d74e43a7c9e969fa7a	H1H2Visitor.java
040000 tree 81ee4d8533de96f2731cf725803236f7b0b24a5a	quals