(String name)
| 270 | |
| 271 | // run the plugin using a new class loader |
| 272 | void runPlugin(String name) { |
| 273 | name = name.substring(0,name.length()-5); // remove ".java" or ".clas" |
| 274 | new PlugInExecuter(name); |
| 275 | } |
| 276 | |
| 277 | public void showDialog() { |
| 278 | validateTarget(); |
no test coverage detected