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