Only include push libraries if supported by Vaadin version #130