private void printDocComment(Declaration d) {
            String docComment = d.getDocComment();

            if (docComment != null) {
                // Break comment into lines
                java.util.StringTokenizer st = new StringTokenizer(docComment,
                                                                  "\n\r");
                System.out.print(PrintingVisitors.this.indent());
                System.out.println("/**");

                while(st.hasMoreTokens()) {
                    System.out.print(PrintingVisitors.this.indent());
                    System.out.print(" *");
                    System.out.println(st.nextToken());
                }

                System.out.print(PrintingVisitors.this.indent());
                System.out.println(" */");
            }
        }