mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 18:50:54 +07:00
default methods: do not warn about protected methods from Object
This commit is contained in:
@@ -2,4 +2,5 @@ interface A {
|
||||
default String <error descr="Default method 'toString' overrides a member of 'java.lang.Object'">toString</error>() {
|
||||
return "";
|
||||
}
|
||||
default void finalize() throws Throwable { }
|
||||
}
|
||||
Reference in New Issue
Block a user