.settings/org.eclipse.wst.jsdt.ui.superType.name
changeset 663 9cb6028fcf55
parent 9 2ab67fa1e78d