// FULL_JDK
// JAVAC_EXPECTED_FILE

package test

public abstract class ClassDoesNotOverrideMethod() : java.util.Date() {
}