.settings/org.eclipse.wst.jsdt.ui.superType.name
changeset 606 e7e699f3cf97
parent 9 2ab67fa1e78d