Servlet test for push with default parameters (#13299)

Ensure push works in default mode for all servers and browsers

Change-Id: I7145839bb081165fd52246fe87c6bb3eae7fe510