Priya,

On 27/11/2018 08:46, Priya Lakshmi Muthuswamy wrote:
Hi,

Kindly review the fix for https://bugs.openjdk.java.net/browse/JDK-8213921
webrev : http://cr.openjdk.java.net/~pmuthuswamy/8213921/webrev.00/

I think this is a good change. I built your proposed patch and was
pleasantly surprised to see that even though these properties are
defined in a html doc file, that they are indexed and search-able by
javadoc.

Some of these properties are legacy now, but remain part of the spec.
We'll work to clean that up later.

LGTM.

-Chris.

Reply via email to