#Fri Aug 08 13:44:18 BST 2008
eclipse.preferences.version=1
org.eclipse.team.ui.first_time=false