Merge "Add getDefaultUserAgent to WebSettings." into jb-mr1-dev