docs: private int waitForProcessGotKilled() {
  //		final ProcessState state = new ProcessState();
  
  //		final Timer timer = new Timer();
  //		timer.scheduleAtFixedRate(new TimerTask() {
  //
  //			public void run() {
  //				try {
  //					state.returnCode = process.waitFor();
  //				} catch (InterruptedException e) {
  //					logger.severe(e.getMessage());
  //				} finally {
  //					state.setKilled(true);
  //					timer.cancel();
  //				}
  //			}
  //		}, 0, 10);
  //		// wait for max. 1 second that process got killed
  		Integer retCode=stopOrDestroyProcess();
  
  //		int countDown = 100;
  //		while (!state.isKilled() && (countDown-- > 0))
  //			try {
  //				Thread.sleep(10);
  //			} catch (InterruptedException e) {
  //				logger.severe(e.getMessage());
  //				Thread.currentThread().interrupt();
  //			}
  		if (retCode==null) {
  //			timer.cancel();
  			String message = "\n\n" + "----------------------------------------------------\n"
  					+ "Something bad happened. We couldn't kill "+runtime.name()+" process, and tried a lot.\n"
  					+ "If you want this problem solved you can help us if you open a new issue.\n" + "\n"
  					+ "Follow this link:\n" + runtime.supportUrl() +
  					"\n"
  					+ "Thank you:)\n" + "----------------------------------------------------\n\n";
  			throw new IllegalStateException("Couldn't kill "+runtime.name()+" process!" + message);
  		}
  		return retCode;
  	}