Merge branch 'master' into 7.2

72d0aa0 Update Window Javadoc based on 7.2 API review changes
ee203f5 Apply abstract ordered layout settings for replaced component (#13568)
02998d8 Updated Window API based on 7.2 API review
cd94b21 Discourage use of setNeedsLayout while a layout is running (#13542)
f374bc7 Make ComboBox always immediate (#4054)
aec102a Update 3rd party license information (#13449)
013d32d Remove old widget from tab content on replace (#12931).
3d0ff32 Prevent duplicate detach() calls with push (#13261)
a452bad Refactor VaadinPortletRequest extending. (#13551)
55dfd29 Prevent duplicate session destroy events (#12612)
2067d4e Don't allocate unnecessary memory for empty array of Objects in MethodProperty (#10446).
00a9af5 Refactor PushConfigurationTest.

Merge: no

Change-Id: I6563769a77f91a68cfeadcb3306dd71fe431863c
Merge "Merge branch 'master' into 7.2" into 7.2
Redo Push reconnect tests.

Change-Id: I75330f67f6a57658e95b9510502bf6a1e38924ad
Downgrade Atmosphere client jQuery 2.0.3 -> 1.11.0. (#13374)

Change-Id: I5103be114ed5c45a533b89b4c973bb5c91d47a8b
Disable PopupView Animations (#13593)

Change-Id: I450d63abe4e7c4e9fd279fe3a6f6262e2945904b
Update to Atmosphere js 2.1.5.vaadin2 (#13578)

Change-Id: Ifb209889680cdfeb18eba7c836dc60e3551e5f61
No-op merge from origin/7.2

416e2f9 Merge branch 'master' into 7.2

Change-Id: Ib4bfc6c631c66384096be50a3445cd8b64059265
Merge changes from origin/7.2

e697d8b Merge "Merge branch 'master' into 7.2" into 7.2
4879639 Redo Push reconnect tests.
8314e3c Downgrade Atmosphere client jQuery 2.0.3 -> 1.11.0. (#13374)
dab3e63 Disable PopupView Animations (#13593)
3ba1e69 Update to Atmosphere js 2.1.5.vaadin2 (#13578)

Change-Id: I8205b1d1debeb7c2fd6585021ea76a77abd8403b