jfranck@2020: /* @test /nodynamiccopyright/
jfranck@2020:  * @bug 7192246
mcimadamore@1393:  * @summary check that default method overriding object members are flagged as error
mcimadamore@1415:  * @compile/fail/ref=Neg13.out -XDrawDiagnostics Neg13.java
mcimadamore@1393:  */
mcimadamore@1393: interface Neg13 {
mcimadamore@1393:     default protected Object clone() { return null; } //protected not allowed here
mcimadamore@1393:     default boolean equals(Object obj) { return false; }
mcimadamore@1393:     default protected void finalize() { } //protected not allowed here
mcimadamore@1393:     default Class<?> getClass() { return null; }
mcimadamore@1393:     default int hashCode() { return 0; }
mcimadamore@1393:     default void notify() { }
mcimadamore@1393:     default void notifyAll() { }
mcimadamore@1393:     default String toString() { return null; }
mcimadamore@1393:     default void wait() { }
mcimadamore@1393:     default void wait(long timeout) { }
mcimadamore@1393:     default void wait(long timeout, int nanos) { }
mcimadamore@1393: }