[contributions:ax] /.settings org.eclipse.core.resources.prefs org.eclipse.core.runtime.prefs