SeeTag12.java

/**
 * @see #wait()
 */
class C{}