import java.text.*;

static File addDateWithMinutesToFileName(File f) {
  ret appendToFileNameBeforeExtension(f, simpleDateFormat_local("yyyyMMdd-HHmm").format(now()));
}