class GrinderProperties extends Properties {

  public final void setFile(String propertyName, File value) {
    setProperty(propertyName, value.getPath());
  }

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

}