issue #2485: WebSockets on Galaxy S3 Android Stock Browser