Fix for issue 3915

editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/PropertyGetter.java

Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/PropertyGetter.java
===================================================================
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/PropertyGetter.java	(revision 9937)
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/PropertyGetter.java	(working copy)
@@ -92,8 +92,8 @@
 import com.google.dart.compiler.ast.DartWhileStatement;
 
 /**
- * Instances of the class <code>PropertyGetter</code> implement a visitor that captures the value of
- * the specified property for the node being visited.
+ * Instances of the class <code>PropertyGetter</code> implement a visitor that captures the value of the specified
+ * property for the node being visited.
  */
 public class PropertyGetter extends PropertyVisitor {
   /**
@@ -165,8 +165,8 @@
   public Object visitCase(DartCase node) {
     if (property == PropertyDescriptorHelper.DART_CASE_EXPRESSION) {
       return node.getExpr();
-    } else if (property == PropertyDescriptorHelper.DART_CASE_LABEL) {
-      return node.getLabel();
+    } else if (property == PropertyDescriptorHelper.DART_CASE_LABELS) {
+      return node.getLabels();
     } else if (property == PropertyDescriptorHelper.DART_CASE_STATEMENTS) {
       return node.getStatements();
     } else {
@@ -697,8 +697,8 @@
 
   @Override
   public Object visitSwitchMember(DartSwitchMember node) {
-    if (property == PropertyDescriptorHelper.DART_SWITCH_MEMBER_LABEL) {
-      return node.getLabel();
+    if (property == PropertyDescriptorHelper.DART_SWITCH_MEMBER_LABELS) {
+      return node.getLabels();
     } else if (property == PropertyDescriptorHelper.DART_SWITCH_MEMBER_STATEMENTS) {
       return node.getStatements();
     } else {