| com.vaadin.integration.eclipse.mavenAutoCompileWidgetset=true |
| com.vaadin.integration.eclipse.mavenLatestVersionsUpgrade=["7.7.17"] |
| com.vaadin.integration.eclipse.notifyOfVaadinUpdates=true |
| com.vaadin.integration.eclipse.previousCompileAction=widgetset |
| com.vaadin.integration.eclipse.useLatestNightly=false |
| com.vaadin.integration.eclipse.widgetsetBuildsSuspended=true |
| com.vaadin.integration.eclipse.widgetsetCompilationEta=40010 |
| com.vaadin.integration.eclipse.widgetsetDirty=true |
| com.vaadin.integration.eclipse.widgetsetStyle=OBF |
| com.vaadin.integration.eclipse.widgetsetVerbose=true |
| eclipse.preferences.version=1 |
