static AutoCloseable timerAsAutocloseable(final java.util.Timer timer) {
  ret timer == null ? null : new AutoCloseable {
    public void close() {
      timer.cancel();
    }
  };
}