class GrinderProperties extends Properties {

  public final void setLong(String propertyName, long value) {
    setProperty(propertyName, Long.toString(value));
  }

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

}