--- src/jdiff/RootDocToXML.java	2008-10-06 20:03:18.000000000 +0200
+++ src/jdiff/RootDocToXML.java-gil	2014-06-09 01:47:57.440619802 +0200
@@ -479,7 +479,7 @@
                 continue;
             outputFile.print("    <constructor name=\"" + ctorName + "\"");
 
-            Parameter[] params = ct[i].parameters();
+            com.sun.javadoc.Parameter[] params = ct[i].parameters();
             boolean first = true;
             if (params.length != 0) {
                 outputFile.print(" type=\"");
@@ -552,7 +552,7 @@
             addCommonModifiers(md[i], 6);
             outputFile.println(">");
             // Generate the parameter elements, if any
-            Parameter[] params = md[i].parameters();
+            com.sun.javadoc.Parameter[] params = md[i].parameters();
             for (int j = 0; j < params.length; j++) {
                 outputFile.print("      <param name=\"" + params[j].name() + "\"");
                 outputFile.print(" type=\"");