test/tools/javadoc/api/basic/GetTask_DocletClassTest.java

*** 26,35 ****
--- 26,36 ----
   * @bug 6493690
   * @summary javadoc should have a javax.tools.Tool service provider
   * @modules jdk.javadoc
   * @build APITest
   * @run main GetTask_DocletClassTest
+  * @key randomness
   */
  
  import com.sun.javadoc.DocErrorReporter;
  import com.sun.javadoc.LanguageVersion;
  import com.sun.javadoc.RootDoc;