class GrinderProperties extends Properties {

  public final long getLong(String propertyName, long defaultValue) {
    final String s = getProperty(propertyName);

    if (s != null) {
      try {
        return Long.parseLong(s.trim());
      }
      catch (NumberFormatException e) {
        m_errorWriter.println("Warning, property '" + propertyName +
                              "' does not specify an integer value");
      }
    }

    return defaultValue;
  }

  public  GrinderProperties();
  public  GrinderProperties(File file);

}