From the mailing list item quoted by @bargenson:
These tags are activated using the -tag function on the javadoc command line tool. They are not offered as standard javadoc tags and may be implemented differently in future releases of Java. Since they are implemented as custom tags for JDK API documentation only, you cannot automatically use them in your own code. (You can, of course, add the same command line options to your javadoc calls if you like these tags).
Thus, they are not standard Javadoc tags at all.
user207421
source share