<commit_before>package org.jeffpiazza.derby;

import java.util.*;
import java.text.*;

public class Timestamp {
  private static final SimpleDateFormat yyyy_mm_dd_hh_mm_ss
      = new SimpleDateFormat("yyyy-MM-dd_HH:mm:ss");
  private static final SimpleDateFormat hh_mm_ss
      = new SimpleDateFormat("HH:mm:ss.S");

  public static String string() {
    // return yyyy_mm_dd_hh_mm_ss.format(Calendar.getInstance().getTime());
    return yyyy_mm_dd_hh_mm_ss.format(new Date(System.currentTimeMillis()));
  }

  public static String brief() {
    return hh_mm_ss.format(new Date(System.currentTimeMillis()));
  }
}<commit_msg>Fix timestamp format for derby-timer log files.<commit_after>package org.jeffpiazza.derby;

import java.util.*;
import java.text.*;

public class Timestamp {
  private static final SimpleDateFormat yyyy_mm_dd_hh_mm_ss
      = new SimpleDateFormat("yyyy-MM-dd_HH:mm:ss");
  private static final SimpleDateFormat hh_mm_ss
      = new SimpleDateFormat("HH:mm:ss.SSS");

  public static String string() {
    // return yyyy_mm_dd_hh_mm_ss.format(Calendar.getInstance().getTime());
    return yyyy_mm_dd_hh_mm_ss.format(new Date(System.currentTimeMillis()));
  }

  public static String brief() {
    return hh_mm_ss.format(new Date(System.currentTimeMillis()));
  }
}
{'fraction_non_alphanumeric': 0.11472868217054263, 'fraction_numerical': 0.0, 'mean_word_length': 4.894977168949771, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2393242', 'n_tokens_mistral': 439, 'n_tokens_neox': 433, 'n_words': 84}