public void visitClassDeclaration(ClassDeclaration d) {
                System.out.println();
                printDocComment(d);
                printModifiers(d, EMPTY_ELIDES);
                System.out.print("class " + d.getSimpleName());
                printFormalTypeParameters(d);

                // Elide "extends Object"
                ClassType Super = d.getSuperclass();
                if (Super != null && !java_lang_Object.equals(Super.getDeclaration()) )
                    System.out.print(" extends " + Super.toString());

                printInterfaces(d);

                System.out.println(" {");

                PrintingVisitors.this.indentation++;
            }