mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-01 20:52:37 +07:00
#IDEA-364331 Fixed GitOrigin-RevId: f3ac6ff3e423b23681f92b1ccc92727b0e06fad3
7 lines
103 B
Java
7 lines
103 B
Java
public class Parent {
|
|
protected Parent(int x) { }
|
|
}
|
|
|
|
final class Derived extends Parent {
|
|
<caret>
|
|
} |