#Fri Oct 08 10:25:47 WEST 2010
com.vaadin.integration.eclipse.widgetsetDirty=false
eclipse.preferences.version=1