#Wed Mar 02 11:39:07 CET 2011
eclipse.preferences.version=1
org.eclipse.team.ui.first_time=false