Minor.

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<T> for the class A<T>
      */
     @NotNull
+    @Override
     JetType getDefaultType();
 
     @NotNull
@@ -57,6 +57,7 @@ public interface ClassDescriptor extends ClassifierDescriptor, MemberDescriptor,
     ClassDescriptor substitute(TypeSubstitutor substitutor);
 
     @Nullable
+    @Override
     JetType getClassObjectType();
 
     @Nullable