Read SDK and patches from a JSON file.

pkg/front_end/lib/src/base/processed_options.dart

Index: pkg/front_end/lib/src/base/processed_options.dart
diff --git a/pkg/front_end/lib/src/base/processed_options.dart b/pkg/front_end/lib/src/base/processed_options.dart
index f60bac5d52bf35123cf86d5e643ffd4a5af92aff..a42d2b54caa8c554bb705ee450a79a3a61a8ab64 100644
--- a/pkg/front_end/lib/src/base/processed_options.dart
+++ b/pkg/front_end/lib/src/base/processed_options.dart
@@ -135,7 +135,8 @@ class ProcessedOptions {
       await _getPackages();
       // TODO(scheglov) Load SDK libraries from whatever format we decide.
       // TODO(scheglov) Remove the field "_raw.dartLibraries".
-      _uriTranslator = new TranslateUri(_packages, _raw.dartLibraries);
+      _uriTranslator = new TranslateUri(
+          _packages, _raw.dartLibraries, const <String, List<Uri>>{});
       _uriTranslator.dartLibraries.addAll(_raw.dartLibraries);
     }
     return _uriTranslator;