/gumtree/benchmark/datasets/defects4j/before/Closure/165

• src_com_google_javascript_rhino_jstype_JSTypeRegistry.java
• src_com_google_javascript_rhino_jstype_ObjectType.java
• src_com_google_javascript_rhino_jstype_RecordType.java
• src_com_google_javascript_rhino_jstype_RecordTypeBuilder.java