K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2017-02-10T16:01:07.093185Z
K 7
svn:log
V 163
java/jdk(16|7)-doc: Deprecate and remove 28 FEB 2017

The associated jdk ports were removed years ago.  The documentation should
have been removed with them then.

END