equal
deleted
inserted
replaced
34 |
34 |
35 public static void main(String[] args) { |
35 public static void main(String[] args) { |
36 if (com.sun.tools.javadoc.Main.execute( |
36 if (com.sun.tools.javadoc.Main.execute( |
37 "javadoc", |
37 "javadoc", |
38 "SourceOption", |
38 "SourceOption", |
|
39 SourceOption.class.getClassLoader(), |
39 new String[] {"-source", "1.3", "p"}) != 0) |
40 new String[] {"-source", "1.3", "p"}) != 0) |
40 throw new Error("Javadoc encountered warnings or errors."); |
41 throw new Error("Javadoc encountered warnings or errors."); |
41 } |
42 } |
42 |
43 |
43 public static boolean start(RootDoc root) { |
44 public static boolean start(RootDoc root) { |