static AutoCloseable timerAsAutoCloseable(java.util.Timer timer) {
  ret timerAsAutocloseable(timer);
}