From 60f8c8a3438c1dac8185de345cc47db290bc2969 Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Thu, 27 Dec 2012 19:53:03 +0400
Subject: [PATCH] Rendering modality if it is "non-default".

---
 .../src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
index ccaa3f93557..e5037a6841f 100644
--- a/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
+++ b/compiler/frontend/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
@@ -566,7 +566,8 @@ public class DescriptorRendererImpl implements DescriptorRenderer {
         if (!startFromName) {
             renderAnnotations(klass, builder);
             renderVisibility(klass.getVisibility(), builder);
-            if (klass.getKind() != ClassKind.TRAIT && !klass.getKind().isObject()) {
+            if (!(klass.getKind() == ClassKind.TRAIT && klass.getModality() == Modality.ABSTRACT
+                || klass.getKind().isObject() && klass.getModality() == Modality.FINAL)) {
                 renderModality(klass.getModality(), builder);
             }
             builder.append(renderKeyword(getClassKindPrefix(klass)));