Close PushRequestHandler when VaadinServlet is destroyed (#11878)

Should be implemented using ServiceDestoryListener in Vaadin 7.2

Merge: no

Change-Id: Ibb4d37f1f95c56b80111df3a3217076af18dd93d
Update to Atmosphere 1.0.14.vaadin4 (#12242)

Change-Id: I76ccbf631f8ba169f11513b7d585f39b8ab570a4
Only add DateRangeValidator to DateField if start or end of range is set (#12193)

Change-Id: I9138a5607c1ff20f3aa7be49270f683e732ee195
No-op merge from origin/7.1

9c8eb70 Close PushRequestHandler when VaadinServlet is destroyed (#11878)

Change-Id: Id68ea7f18c57ca5e2a2102c979f9b0b431c58c15
Merge changes from origin/7.1

36aebc8 Update to Atmosphere 1.0.14.vaadin4 (#12242)
62c63a6 Only add DateRangeValidator to DateField if start or end of range is set (#12193)

Change-Id: Ie2ba84e2d598313158007e521508c756abef6c2e