Finish moving service protocol to json rpc.

runtime/observatory/lib/src/elements/nav_bar.dart

Index: runtime/observatory/lib/src/elements/nav_bar.dart
diff --git a/runtime/observatory/lib/src/elements/nav_bar.dart b/runtime/observatory/lib/src/elements/nav_bar.dart
index 9f5b0ed199355f2a307a0c5d2f64a7c3f2afe555..75e7d661e52e9677399a367b944695573d6382e2 100644
--- a/runtime/observatory/lib/src/elements/nav_bar.dart
+++ b/runtime/observatory/lib/src/elements/nav_bar.dart
@@ -83,21 +83,6 @@ class IsolateNavMenuElement extends ObservatoryElement {
   @published bool last = false;
   @published Isolate isolate;
 
-  void isolateChanged(oldValue) {
-    notifyPropertyChange(#hashLinkWorkaround, 0, 1);
-  }
-
-  // TODO(turnidge): Figure out why polymer needs this function.
-  @reflectable
-  String get hashLinkWorkaround {
-    if (isolate != null) {
-      return isolate.link;
-    } else {
-      return '';
-    }
-  }
-  @reflectable set hashLinkWorkaround(var x) { /* silence polymer */ }
-
   IsolateNavMenuElement.created() : super.created();
 }