com.vaadin.integration.eclipse.mavenLatestVersionsUpgrade=["8.4.5","8.5.0"] eclipse.preferences.version=1