From 44a70669d71ac637c38842c3b0c473c6cbaa7b0e Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Thu, 6 Sep 2012 22:54:47 +0400
Subject: [PATCH] Minor.

---
 .../org/jetbrains/jet/lang/descriptors/ClassDescriptor.java    | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/ClassDescriptor.java b/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/ClassDescriptor.java
index a87e075ec22..9d476fa681d 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/ClassDescriptor.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/ClassDescriptor.java
@@ -26,7 +26,6 @@ import org.jetbrains.jet.lang.types.TypeSubstitutor;
 
 import java.util.Collection;
 import java.util.List;
-import java.util.Set;
 
 /**
  * @author abreslav
@@ -50,6 +49,7 @@ public interface ClassDescriptor extends ClassifierDescriptor, MemberDescriptor,
      * @return type A&lt;T&gt; for the class A&lt;T&gt;
      */
     @NotNull
+    @Override
     JetType getDefaultType();
 
     @NotNull
@@ -57,6 +57,7 @@ public interface ClassDescriptor extends ClassifierDescriptor, MemberDescriptor,
     ClassDescriptor substitute(TypeSubstitutor substitutor);
 
     @Nullable
+    @Override
     JetType getClassObjectType();
 
     @Nullable