Prevent duplicate detach() calls with push (#13261)

This used to happen when push was disconnected due to a UI or session
expiring. requestStart() and requestEnd() were called on disconnect
even though a disconnection is not a request.

Change-Id: I31d9cae65ec75b5046802a54bbe4564d6e44b29f
Refactor PushConfigurationTest.

Change-Id: Iec0aecc64e16052c522eb831f13cadbd2758ae69
Don't allocate unnecessary memory for empty array of Objects in
MethodProperty (#10446).

Change-Id: Ib8e2cfb42494a9dd3efb5ca62ddea9675a1dab1e
Prevent duplicate session destroy events (#12612)

Change-Id: Ic752268a9deac350dbff29ecf73cfce2eb1ba0cc
Refactor VaadinPortletRequest extending. (#13551)

Change-Id: Ibe169bf0ec6d2f335e099ac2659079c8fad6ac0b
Merge commit '3d0ff32bea81c3e3c64bd044276ff04a4f8555ed'

Conflicts:
	server/src/com/vaadin/server/communication/AtmospherePushConnection.java
	server/src/com/vaadin/server/communication/PushHandler.java

Change-Id: I93b5c3f3017aaa1ba2a231028c808d6e56fe1c11
Remove old widget from tab content on replace (#12931).

Change-Id: I85badfcca18e129b20ab6c5c2db0b845c8c2ea5b
Update 3rd party license information (#13449)

Change-Id: Ib168ea79f80abefb140f1e64e239b5520d0fd3bd
Merge from 7.2

Change-Id: Ic52a0be061bf22058ac9b831f3e965547a1b8933
Make ComboBox always immediate (#4054)

Change-Id: I34525b7d9e78ede7f9533869326ca0c08474963a
Discourage use of setNeedsLayout while a layout is running (#13542)

Change-Id: Ia4831db39528061f4ac4b98b861b8030a261cf9a
Updated Window API based on 7.2 API review

Change-Id: Ie6fa8b51c2fd1d1fe7def9ca7c11b4023eae52b7
Apply abstract ordered layout settings for replaced component (#13568).

Change-Id: If6863d518d902ee48bb73fbb0c9b3725cb7c8707
Merge branch '7.2'

51c2e93 Revert "Added ItemSetAddEvent and ItemSetRemoveEvent (#2794)"
ee4ae9f Merge from 7.1 to 7.2

Conflicts:
	scripts/automerge7.sh

Change-Id: Ieb61caed4b3b6bbc6d3dc84c02ae8eeed897a144
Update Window Javadoc based on 7.2 API review changes

Change-Id: Ifdc1379892d8f798f2ceabcf83d772fa6a76dd4b
Merge "Merge branch '7.2'"
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