modified:   core/java/android/webkit/WebViewCore.java