hg: jdk7u/jdk7u-dev/langtools: 8000743: docencoding not available to stylesheet

[neil.richards at ngmr.net]

Changeset: 9d5d1442c891
Author:    jviswana
Date:      2012-10-10 18:08 -0700
URL:       http://hg.openjdk.java.net/jdk7u/jdk7u-dev/langtools/rev/9d5d1442c891

8000743: docencoding not available to stylesheet
Reviewed-by: jjg

! src/share/classes/com/sun/tools/doclets/internal/toolkit/util/Util.java
+ test/com/sun/javadoc/testDocEncoding/TestDocEncoding.java
+ test/com/sun/javadoc/testDocEncoding/pkg/Test.java