mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-25 19:21:16 +07:00
- return back support `premain` GitOrigin-RevId: 71ed562fa9e0f514852cb3aff0e993452371aa44
7 lines
149 B
Java
7 lines
149 B
Java
// "Safe delete 'args'" "false"
|
|
|
|
public class Main{
|
|
public static void premain(String ar<caret>gs, java.lang.instrument.Instrumentation i) {
|
|
}
|
|
}
|