(String[] args)
| 75 | |
| 76 | |
| 77 | static public void main(String[] args) { |
| 78 | // Do this early so that error messages go to the console |
| 79 | Base.setCommandLine(); |
| 80 | // init the platform so that prefs and other native code is ready to go |
| 81 | Platform.init(); |
| 82 | // make sure a full JDK is installed |
| 83 | //Base.initRequirements(); |
| 84 | |
| 85 | // launch command line handler |
| 86 | new Commander(args); |
| 87 | } |
| 88 | |
| 89 | |
| 90 | public Commander(String[] args) { |
nothing calls this directly
no test coverage detected