static void stopTimer(java.util.Timer timer) {
  if (timer != null) timer.cancel();
}