.settings/org.eclipse.wst.jsdt.ui.superType.name
changeset 290 2ddd11ec2da2
parent 57 5422b3d398c5