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