eclipse vaadin plugin settings added