static void cancelTimer(javax.swing.Timer timer) {
  if (timer != null) timer.stop();
}