| 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=31469 |
| com.vaadin.integration.eclipse.widgetsetDirty=true |
| com.vaadin.integration.eclipse.widgetsetExtraParameters=-strict -logLevel WARN |
| com.vaadin.integration.eclipse.widgetsetStyle=PRETTY |
| com.vaadin.integration.eclipse.widgetsetVerbose=true |
| eclipse.preferences.version=1 |
