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