langtools/src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/Start.java
changeset 38617 d93a7f64e231
parent 38614 364c1a6618c0
child 38918 bf1ed1a40f5b
equal deleted inserted replaced
38616:31e503b8ea65 38617:d93a7f64e231
    79  * @author Robert Field
    79  * @author Robert Field
    80  * @author Neal Gafter (rewrite)
    80  * @author Neal Gafter (rewrite)
    81  */
    81  */
    82 public class Start extends ToolOption.Helper {
    82 public class Start extends ToolOption.Helper {
    83 
    83 
       
    84     @SuppressWarnings("deprecation")
    84     private static final Class<?> OldStdDoclet =
    85     private static final Class<?> OldStdDoclet =
    85             com.sun.tools.doclets.standard.Standard.class;
    86             com.sun.tools.doclets.standard.Standard.class;
    86 
    87 
    87     private static final Class<?> StdDoclet =
    88     private static final Class<?> StdDoclet =
    88             jdk.javadoc.internal.doclets.standard.Standard.class;
    89             jdk.javadoc.internal.doclets.standard.Standard.class;
   562     /*
   563     /*
   563      * This method returns true iff it finds a legacy taglet, but for
   564      * This method returns true iff it finds a legacy taglet, but for
   564      * all other conditions including errors it returns false, allowing
   565      * all other conditions including errors it returns false, allowing
   565      * nature to take its own course.
   566      * nature to take its own course.
   566      */
   567      */
       
   568     @SuppressWarnings("deprecation")
   567     private boolean hasOldTaglet(List<String> tagletNames, List<File> tagletPaths) {
   569     private boolean hasOldTaglet(List<String> tagletNames, List<File> tagletPaths) {
   568         if (!fileManager.hasLocation(TAGLET_PATH)) {
   570         if (!fileManager.hasLocation(TAGLET_PATH)) {
   569             try {
   571             try {
   570                 ((StandardJavaFileManager) fileManager).setLocation(TAGLET_PATH, tagletPaths);
   572                 ((StandardJavaFileManager) fileManager).setLocation(TAGLET_PATH, tagletPaths);
   571             } catch (IOException ioe) {
   573             } catch (IOException ioe) {