Method setBenchmarkingEnabled

src/main/java/gate/util/Benchmark.java:268–271

Enables or disables the logging. @param benchmarkingEnabled

(boolean benchmarkingEnabled)

   * @param benchmarkingEnabled
   */
  public static void setBenchmarkingEnabled(boolean benchmarkingEnabled) {
    Benchmark.benchmarkingEnabled = benchmarkingEnabled;
    logger.info("Benchmark has been "+(benchmarkingEnabled ? " enabled" : " disabled"));
  }

  /**
   * Executes the given {@link Executable}, logging its runtime under