// bug 54098
/** @deprecated */
public class Deprecated {
    /** @deprecated */
    void bar() {}
}