diff -r 4ef127d365dd -r d593587c5938 src/share/classes/com/sun/tools/javadoc/Main.java --- a/src/share/classes/com/sun/tools/javadoc/Main.java Mon Sep 29 22:11:26 2008 -0700 +++ b/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);