class GrinderProperties extends Properties {

  public final void setDouble(String propertyName, double value) {
    setProperty(propertyName, Double.toString(value));
  }

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

}