#513: add Android WebView