Bug54962.java

package j6;
/**
 * @see j6
 * @see j6.BUG54962
 * @see j6.Bug54962
 */
public class Bug54962 {
}