SeeTag13.java

/**
 * @see <a href="package-summary.html#charenc">Character encodings</a>
 */
class C{}