hg: jdk/jdk: 8223733: "Detail" in headings should be "Details"

[priya.lakshmi.muthuswamy at oracle.com]

Changeset: 55bfc2eee3ab
Author:    pmuthuswamy
Date:      2019-05-21 15:02 +0530
URL:       http://hg.openjdk.java.net/jdk/jdk/rev/55bfc2eee3ab

8223733: "Detail" in headings should be "Details"
Reviewed-by: hannesw

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/doclets.properties
! test/langtools/jdk/javadoc/doclet/testAnnotationTypes/TestAnnotationTypes.java
! test/langtools/jdk/javadoc/doclet/testHtmlVersion/TestHtmlVersion.java
! test/langtools/jdk/javadoc/doclet/testIndexTaglet/TestIndexTaglet.java
! test/langtools/jdk/javadoc/doclet/testJavaFX/TestJavaFX.java
! test/langtools/jdk/javadoc/doclet/testOrdering/TestOrdering.java
! test/langtools/jdk/javadoc/doclet/testSystemPropertyTaglet/TestSystemPropertyTaglet.java