382383384385386387388389390391392
try { // probably already dead: process.destroy(); in = new BufferedReader(new InputStreamReader(new FileInputStream(pidFile))); killProcess(Integer.parseInt(in.readLine())); } catch (Exception e) { throw Utils.asRuntime(e); } finally { try {