Exclude source location for implicit declarations

src/java/org/extendj/ragdoc/JsonBuilder.java

@@ -265,6 +265,7 @@ public class JsonBuilder {
               ragFile = declaredat;
               lineno = "0";
             }
+            // Exclude source location for implicitly generated code (ragFile==ASTNode).
             if (!ragFile.equals("ASTNode")) {
               String relativePath = RelativePath.getRelativePath(ragFile, ragRoot);
               if (!sourceFiles.containsKey(relativePath)) {
@@ -274,11 +275,8 @@ public class JsonBuilder {
                 }
               }
               doc.add("ragFile", Json.of(relativePath));
-            } else {
-              // Not a real source file.
-              doc.add("ragFile", new JsonString(ragFile));
-            }
               doc.add("line", new JsonString(lineno));
+            }
             break;
           case "aspect":
             aspectName = tag.text;