org.eclipse.team.ui.prefs

eclipse.preferences.version=1
org.eclipse.team.ui.first_time=false