Getters should not have parameters.

editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java

Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
index e7a63319a5d5495932758c077964505324a3a2c1..9796614639a9a011c799531de9cc43edc32d690a 100644
--- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
+++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/Element.java
@@ -84,7 +84,8 @@ public class Element {
 
   /**
    * The parameter list for the element. If the element is not a method or function this field will
-   * not be defined. If the element has zero parameters, this field will have a value of "()".
+   * not be defined. If the element doesn't have parameters (e.g. getter), this field will not be
+   * defined. If the element has zero parameters, this field will have a value of "()".
    */
   private final String parameters;
 
@@ -181,7 +182,8 @@ public class Element {
 
   /**
    * The parameter list for the element. If the element is not a method or function this field will
-   * not be defined. If the element has zero parameters, this field will have a value of "()".
+   * not be defined. If the element doesn't have parameters (e.g. getter), this field will not be
+   * defined. If the element has zero parameters, this field will have a value of "()".
    */
   public String getParameters() {
     return parameters;