--- a/langtools/src/share/classes/com/sun/tools/javadoc/Main.java	Mon Sep 29 22:11:26 2008 -0700
+++ b/langtools/src/share/classes/com/sun/tools/javadoc/Main.java	Wed Oct 01 16:26:33 2008 -0700
@@ -45,7 +45,7 @@
      * Command line interface.
      * @param args   The command line parameters.
      */
-    public static void main(String[] args) {
+    public static void main(String... args) {
         System.exit(execute(args));
     }
 
@@ -54,7 +54,7 @@
      * @param args   The command line parameters.
      * @return The return code.
      */
-    public static int execute(String[] args) {
+    public static int execute(String... args) {
         Start jdoc = new Start();
         return jdoc.begin(args);
     }
@@ -65,7 +65,7 @@
      * @param args   The command line parameters.
      * @return The return code.
      */
-    public static int execute(String programName, String[] args) {
+    public static int execute(String programName, String... args) {
         Start jdoc = new Start(programName);
         return jdoc.begin(args);
     }
@@ -79,7 +79,7 @@
      */
     public static int execute(String programName,
                               String defaultDocletClassName,
-                              String[] args) {
+                              String... args) {
         Start jdoc = new Start(programName, defaultDocletClassName);
         return jdoc.begin(args);
     }
@@ -99,7 +99,7 @@
                               PrintWriter warnWriter,
                               PrintWriter noticeWriter,
                               String defaultDocletClassName,
-                              String[] args) {
+                              String... args) {
         Start jdoc = new Start(programName,
                                errWriter, warnWriter, noticeWriter,
                                defaultDocletClassName);