# HG changeset patch # User ksrini # Date 1480049332 28800 # Node ID 2668b0bc7ad74f2ea2c86d586d2e2758ebcd13a7 # Parent 2765a352dc07c15dbedef7f16dbddb61283c5752 8164316: Refine the Doclet APIs Reviewed-by: jjg diff -r 2765a352dc07 -r 2668b0bc7ad7 langtools/src/jdk.javadoc/share/classes/jdk/javadoc/doclet/Doclet.java --- a/langtools/src/jdk.javadoc/share/classes/jdk/javadoc/doclet/Doclet.java Thu Nov 24 11:44:37 2016 +0100 +++ b/langtools/src/jdk.javadoc/share/classes/jdk/javadoc/doclet/Doclet.java Thu Nov 24 20:48:52 2016 -0800 @@ -25,7 +25,7 @@ package jdk.javadoc.doclet; -import java.util.ListIterator; +import java.util.List; import java.util.Locale; import java.util.Set; @@ -67,7 +67,7 @@ * @param locale the locale to be used * @param reporter the reporter to be used */ - public void init(Locale locale, Reporter reporter); + void init(Locale locale, Reporter reporter); /** * Returns a name identifying the doclet. A name is a simple identifier @@ -76,14 +76,14 @@ * * @return name of the Doclet */ - public abstract String getName(); + String getName(); /** * Returns all the supported options. * * @return a set containing all the supported options, an empty set if none */ - public Set