Profiler cleanup: removed another piece that is only needed for DevTools profiler.

tools/profile_view.js

Index: tools/profile_view.js
diff --git a/tools/profile_view.js b/tools/profile_view.js
index d0fc3b6d35f101d69494eb85fdf457fae32faa02..bdea6319db7a2f20f90b1671790e98085bbc0138 100644
--- a/tools/profile_view.js
+++ b/tools/profile_view.js
@@ -109,19 +109,13 @@ devtools.profiler.ViewBuilder.prototype.createViewNode = function(
 
 /**
  * Creates a Profile View object. It allows to perform sorting
- * and filtering actions on the profile. Profile View mimicks
- * the Profile object from WebKit's JSC profiler.
+ * and filtering actions on the profile.
  *
  * @param {devtools.profiler.ProfileView.Node} head Head (root) node.
  * @constructor
  */
 devtools.profiler.ProfileView = function(head) {
   this.head = head;
-  this.title = '';
-  this.uid = '';
-  this.heavyProfile = null;
-  this.treeProfile = null;
-  this.flatProfile = null;
 };