/gumtree/benchmark/datasets/defects4j/before/Closure/46

• src_com_google_javascript_rhino_jstype_RecordType.java