mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-06-20 11:38:02 +07:00
f127b4491c
GitOrigin-RevId: 15a64c215cc98f4f94b76edc3486bcf762a8be28
8 lines
112 B
Java
8 lines
112 B
Java
// "Delete element" "true"
|
|
class X {
|
|
void test() {
|
|
for (int i = 0; i < Integer.MAX_VALUE; ) {
|
|
|
|
}
|
|
}
|
|
} |