Added waitForHtmlSource() method to better handle timeouts when accessing
Vaadin pages.