/**
  * @return the number of threads Buck should use or the specified defaultValue if it is not set.
  */
 public int getNumThreads(int defaultValue) {
   return config.getLong("build", "threads").or((long) defaultValue).intValue();
 }
 public Optional<Long> getLong(String sectionName, String propertyName) {
   return config.getLong(sectionName, propertyName);
 }