From 760b5e8d3b4778c2de7efb7050a21514c12fca7c Mon Sep 17 00:00:00 2001
From: "Pavel V. Talanov" <talanov.pavel@gmail.com>
Date: Thu, 17 Apr 2014 14:40:43 +0400
Subject: [PATCH] JetClassBody#getProperties() by stub

---
 .../frontend/src/org/jetbrains/jet/lang/psi/JetClassBody.java  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetClassBody.java b/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetClassBody.java
index 4a730010297..0802649617e 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetClassBody.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/psi/JetClassBody.java
@@ -23,6 +23,7 @@ import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 import org.jetbrains.jet.JetNodeTypes;
 import org.jetbrains.jet.lang.psi.stubs.PsiJetPlaceHolderStub;
+import org.jetbrains.jet.lang.psi.stubs.elements.JetStubElementTypes;
 import org.jetbrains.jet.lexer.JetTokens;
 
 import java.util.Arrays;
@@ -58,7 +59,7 @@ public class JetClassBody extends JetElementImplStub<PsiJetPlaceHolderStub<JetCl
 
     @NotNull
     public List<JetProperty> getProperties() {
-        return findChildrenByType(JetNodeTypes.PROPERTY);
+        return getStubOrPsiChildrenAsList(JetStubElementTypes.PROPERTY);
     }
 
     @Nullable