.settings/org.eclipse.wst.jsdt.ui.superType.name
changeset 606 e7e699f3cf97
parent 9 2ab67fa1e78d
equal deleted inserted replaced
605:13d355fd09bf 606:e7e699f3cf97