#Mon Aug 20 21:11:40 CEST 2012 com.vaadin.integration.eclipse.useLatestNightly=false eclipse.preferences.version=1