--- old/src/jdk/nashorn/internal/ir/debug/JSONWriter.java	2013-09-19 20:34:58.829628607 +0530
+++ new/src/jdk/nashorn/internal/ir/debug/JSONWriter.java	2013-09-19 20:34:58.697627954 +0530
@@ -410,7 +410,8 @@
         comma();
 
         property("id");
-        if (functionNode.isAnonymous()) {
+        final FunctionNode.Kind kind = functionNode.getKind();
+        if (functionNode.isAnonymous() || kind == FunctionNode.Kind.GETTER || kind == FunctionNode.Kind.SETTER) {
             nullValue();
         } else {
             functionNode.getIdent().accept(this);